Ламбда-исчисление. Его синтаксис и семантика

Барендрегт Х.

Тип: pdf
Категория: НАУКА И УЧЕБА

Скачать

Купить

Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Другие файлы:

Имена, предикаты, предложения (семиологическая грамматика)
в книге рассматриваются две универсальные сферы языка- Семантика и Синтаксис.для интересующихся теоретической грамматикой...

Очерки по русской семантике
В книге известного лингвиста и культуролога проф. А.Б.Пеньковского собраны его работы по русской семантике, представляющие несколько циклов устойчивых...

Основы технологии OpenMP
Технология разработки параллельных программ для многопроцессорных вычислительных систем с общей памятью. Синтаксис, семантика и структура модели OpenM...

Языкознание как наука
Языкознание – наука о естественном человеческом языке и вообще обо всех языках мира как индивидуальных его представителях. Различают наиболее общие и...

Алгоритмізація та програмування процедур обробки інформації С++
У навчальному посібнику розглянуті основи алгоритмізації обчислювальних процесів і алгоритмізації процедур обробки соціально-економічної інформації, п...