Каталог: Наука, образование »•» Математика, статистика

	Барендрегт, Х. Ламбда-исчисление. Его синтаксис и семантика
	Издательство: М.: Мир
	Переплет: твердый; 606 страниц; 1985 г.
	ISBN: [не указан]; Формат: увеличенный
	Язык: русский
	На сайте с 22.12.2006

Аннотация

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

Перевод с английского Г. Е. Минца.
Под редакцией А. С. Кузичева.

Формат 60х90/16. Тираж 4 800.

Оглавление:
Часть I. На пути к теории (с. 13)
1. Введение (с. 14)
2. Конверсия (с. 34)
3. Редукция (с. 61)
4. Теории (с. 88)
5. Модели (с. 99)
Часть II. Конверсия (с. 139)
6. Классическое ламбда-исчисление (с. 140)
7. Теория комбинаторов (с. 158)
8. Классическое ламбда-исчисление (продолжение) (с. 172)
9. Ламбда-I-исчисление (с. 192)
10. Деревья Бема (с. 220)
Часть III. Редукция (с. 277)
11. Фундаментальные теоремы (с. 279)
12. Сильно эквивалентные редукции (с. 304)
13. Редукционные стратегии (с. 326)
14. Помеченная редукция (с. 353)
15. Другие понятия редукции (с. 384)
Часть IV. Теории (с. 409)
16. Осмысленные теории (с. 410)
17. Другие ламбда-теории (с. 429)
Часть V. Модели (с. 463)
18. Построение моделей (с. 464)
19. Локальная структура моделей (с. 490)
20. Глобальная структура моделей (с. 506)
21. Комбинаторные группы (с. 525)
Приложения (с. 547)
А. Типовое ламбда-исчисление (с. 548)
В. Иллативная комбинаторная логика (с. 561)
С. Переменные (с. 565)
Добавления (с. 571)
Литература (с. 574)
Предметный указатель (с. 587)





Формат - 145 х 220 мм

В продаже   Хочу купить

Продавец: Leon-books (Истра, RU/50 )   Состояние: хорошее; В продаже с 21.07.2022 Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: При заказе от 3-х книг -- скидка от 3%. При заказе от 6-ти книг -- скидка от 6%. При заказе от 10-ти книг -- скидка от 10%. Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней! Отправка другими транспортными компаниями в течение 4х дней. Самовывоз в любой день. Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *). Фото -- до за... [подробнее]

Цена 8896 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать