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

формат pdf
размер 15.89 МБ
добавлен 17 февраля 2011 г.

М.: Мир, 1985. - 606 с.
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Оглавление:
Часть I - На пути к теории.
Введение.
Конверсия.
Редукция.
Теории.
Модели.
Часть II - Конверсия.
Классическое ламбда-исчисление.
Теория комбинаторов.
Классическое ламбда-исчисление (продолжение).
Ламбда-I-исчисление.
Деревья Бема.
Часть III - Редукция.
Фундаментальные теоремы.
Сильно эквивалентные редукции.
Редукционные стратегии.
Помеченная редукция.
Другие понятия редукции.
Часть IV - Теории.
Осмысленные теории.
Другие ламбда-теории.
Часть V - Модели.
Построение моделей.
Локальная структура моделей.
Глобальная структура моделей.
Комбинаторные группы.
Приложения.
А - Типовое ламбда-исчисление.
В - Иллативная комбинаторная логика.
С - Переменные.
Добавления.
Литература.
Предметный указатель.

Похожие разделы

Смотрите также

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

формат djvu
размер 5.03 МБ
добавлен 16 мая 2009 г.

Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

формат pdf
размер 2.73 МБ
добавлен 21 сентября 2010 г.

Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальн...

Бродский И.Н. Элементарное введение в символическую логику

формат tif
размер 150 МБ
добавлен 20 июня 2009 г.

Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Доклад - Математическая логика

Реферат

формат doc
размер 309.5 КБ
добавлен 06 апреля 2009 г.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Дудаков С.М. Основы теории моделей

формат pdf
размер 2.15 МБ
добавлен 24 сентября 2010 г.

Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...

Ершов Ю.Л., Палютин Е.А. Математическая логика

формат pdf
размер 11.76 МБ
добавлен 25 ноября 2011 г.

М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

формат djvu
размер 5.22 МБ
добавлен 28 декабря 2008 г.

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Лупанов О.Б. Введение в математическую логику

формат pdf
размер 1.28 МБ
добавлен 21 октября 2009 г.

Мех-мат, МГУ. - 2007 г. - 192 с. Учебное пособие для студентов и аспирантов. Функции алгебры логики. Функции k-значной логики. Логические схемы. Конечные автоматы. Алгоритмы и вычислимые функции. Исчисление высказываний. Логика предикатов. Исчисление предикатов.

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

формат djvu
размер 2.36 МБ
добавлен 11 марта 2010 г.

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающ...

Ячменева Н.Н. Математическая логика

формат pdf
размер 502.72 КБ
добавлен 22 октября 2009 г.

Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с. Примеры решения задач по матем. логике. Темы пособия: 1. Алгебра высказываний. 2. Исчисление высказываний ИС генценовского типа. 3. Исчисление высказываний ИВ гильбертовского типа. 4. Общезначимость формул. 5. Логические программы.