"ёр»нфо–®" >>> Ѕиблиотека ёр»нфо–® >>>

 атегориальна€ абстрактна€ машина.  онспект лекций: введение в вычислени€


ќбложка.  рупно.
ISBN 5-89158-102-7
2002. 96 c. ¬721
ЅЅ  32.97
”ƒ  004
ћ€гкий переплет.

÷ена 1
99.00
÷ена 2
288.00
 ”ѕ»“№ ќЌЋј…Ќ
÷ены действительны до
31.03.2021
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


 ак приобрести


—м. также


ќглавление


 ”ѕ»“№ ќЌЋј…Ќ

¬ольфенгаген ¬.Ё.
»зд. 2-е.

.

–абота содержит изложение базовых моделей вычислений, примен€емых в компьютерных науках. »зложены основы л€мбда-исчислени€ и комбинаторные исчислени€. ќсновное внимание уделено подробному рассмотрению техники вычислени€ значени€ конструкций €зыков программировани€, включа€ компилирование кода, его оптимизацию и исполнение на примере категориальной абстрактной машины. »зложение построено на примерах возрастающей сложности.  нига может быть рекомендована студентам и аспирантам, изучающим основы компьютерных наук, теорию и €зыки программировани€, информационные технологии, информатику и дискретную математику.


This book contains the basics for computation models in Computer Science. The core topics both of lambda-calculus and combinatory calculi are covered.

The main goals are to provide formal tools to assess meaning of programming constructs in both a language-independent and a machine independent way including the code compiling and generation, its optimization and runtime considerations. This is done using the categorical abstract machine - relatively new direction in studying and understanding the programs and computations. The material is equipped with serial examples of growing up complexity.

This book is recommended to the undergraduate and postgraduate students in Computer Science, Programming Languages, Information Technologies, and Discrete Mathematics.


—м. также

ƒополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)


ќглавление

ѕредисловие редактора серии

ѕредисловие

¬ведение

1.  атегориальна€ теори€ вычислений 11

  • 1.1 ѕередача параметров 11
  • 1.2 ‘ормальное описание семантики выражений 13
    ”пражнени€
  • 1.3 ‘ормализм ƒебрейна 20
    ”пражнени€
  • 1.4 ¬ычислени€ с помощью категориальных комбинаторов 23
    • ¬ычислени€ по ƒебрейну 24
    • ¬ычислени€ с помощью семантических неравенств 25
    • ¬ычислени€ с категориальными комбинаторами 27
    • Ѕольшой пример 29
”пражнени€ 31
  • 1.5 Ѕета-редукци€ и категориальные комбинаторы 32
    ”пражнени€ 36
  • 1.6  атегориальна€ комбинаторна€ логика 37
    ”пражнени€ 38

    2 јбстрактна€ машина 39

    • 2.1 «начение выражений 39
    • 2.2 —равнение различных способов вычислени€ 47
    • 2.3 ѕостроение абстрактной машины 48
    • 2.4 ¬ычислени€ в категориальной абстрактной машине 48
    • 2.5 —татические комбинаторы 49
    • 2.6 –абота  јћ 50
    • 2.7 «амена символов д.з.к. инструкци€ми  јћ 54
    • 2.8 ÷икл работы  јћ 54
    ѕримеры и упражнени€ 56

    3 ќптимизаци€ вычислений 65

    • 3.1 ¬ычисление на  јћ бета-свертывани€ 65
    • 3.2 ќбоснование вычислени€ бета-свертывани€ 66
    • 3.3 Ёкономи€ в кодировании двухместных операторов 67

    –асширение и реализаци€  јћ 69

    • 4.1 Ќеподвижна€ точка и конструкци€ ветвлени€ 69
    • 4.2 ¬ычислени€ с рекурсивной модификацией среды 73
    • 4.3 ќрганизаци€ цикла mkloop 80
    • 4.4 –екурси€ и ленивые вычислени€ 83

    5  атегори€ как чиста€ теори€ объектов 89

    Ћитература 93

    ѕредметный указатель 95