Ламбда-исчисление. Его синтаксис и семантика
Book information
Description
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. На пути к теории. Введение. Конверсия. Редукция. Теории. Модели. Конверсия. Классическое ламбда-исчисление. Теория комбинаторов. Классическое ламбда-исчисление (продолжение). λI-исчисление. Деревья Бема. Редукция. Фундаментальные теоремы. Сильно эквивалентные редукции. Редукционные стратегии. Помеченная редукция. Другие понятия редукции. Теории. Осмысленные теории. Другие ламбда-теории. Модели. Построение моделей. Локальная структура моделей. Глобальная структура моделей. Комбинаторные группы. Приложения. А - Типовое ламбда-исчисление. В - Иллативная комбинаторная логика. С - Переменные. Добавления. Литература. Предметный указатель.
Similar books
Ламбда-исчисление. Его синтаксис и семантика
1985 · PDF
Ламбда-исчисление. Его синтаксис и семантика
DJVU
Ламбда-исчисление. Его синтаксис и семантика
1985 · DJVU
Ламбда-исчисление. Его синтаксис и семантика
DJVU
Ламбда-исчисление Его синтаксис и семантика
1985 · DJVU
Методология научных исследований и прикладной аналитики: Учебник. Изд. 5-е, дополн. и перераб. В 2 т. Т.2: Научные исследования: Мастерство и искусство научного мышления и научной работы / Methodology of Scientific Research and Practical Analytics: A Textbook: Fifth Edition. In two volumes. Vol.2: Scientific research: Art of scientific thinking and scientific work / Méthodologie de la recherche scientifique et de l’analytique appliquée: Manuel: Cinquième édition. En 2 tomes. T.2: Recherches scientifiques: Art de la pensée scientifique et du travail scientifique
2025 · PDF
Методы и понятия философии искусства: практикум : уровень подготовки кадров высшей квалификации: ассиснтурв-стажировка : специальности: 54.09.03 "Искусство дизайна (по видам)", 54.09.02 "Мастерство декоративно-прикладного искусства и народных промыслов (по видам)" : укрупненная группа специальностей: 54.00.00 "Изобразительное и прикладные виды искусств" : квалификация выпускника: "Преподаватель творческих дисциплин в высшей школе. Дизайнер", "Преподаватель творческих дисциплин в высшей школе. Художник декоративно-прикладного искусства" : форма обучения: очная
2022 · PDF
Разработка графического интерфейса пользователя информационной системы с использованием библиотеки QT: учебное пособие для студентов 1 курса направлений подготовки 09.04.02 "Информационные системы и технологии", 27.04.03 "Системный анализ и управление" очной формы обучения, 2 курса направления подготовки 10.05.03 "Информационная безопасность автоматизированных систем" очной формы обучения и 3 курса направления подготовки 09.03.02 "Информационные системы и технологии" очной и заочной форм обучения : учебное электронное издание
2021 · PDF