Зарегистрироваться
Восстановить пароль
FAQ по входу

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

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

Смотри также

Подробнее

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

  • pdf
М.: Мир, 1985. — 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский...
  • 15,89 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Букур И., Деляну А. Введение в теорию категорий и функторов

  • djvu
М.: Мир, 1972. — 259 с. Книга румынских математиков представляет собой введение в теорию категорий, методы и язык которой применяются почти во всей современной математике. Приводятся многочисленные примеры ситуаций из различных разделов математики, которые иллюстрируют универсальность рассматриваемых понятий. Книга может служить учебным пособием для изучающих современную...
  • 2,15 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Клини С.К. Математическая логика

  • pdf
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
  • 19,53 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Непейвода Н.Н. Прикладная логика

  • pdf
Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....
  • 2,31 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Хайкин Саймон. Нейронные сети. Полный курс

  • djvu
Пер. с англ. — 2-е изд., испр. — М.: Вильямс, 2006. — 1104 с. — ISBN 5-8459-0890-6. В книге рассматриваются основные парадигмы искусственных нейронных сетей. Представленный материал содержит строгое математическое обоснование всех нейросетевых парадигм, иллюстрируется примерами, описанием компьютерных экспериментов, содержит множество практических задач, а также обширную...
  • 11,26 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх