URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ.
Id: 1981
 
3999 руб.

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

1985. 606 с. Твердый переплет. Букинист. Состояние: 4+. .

 Аннотация

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

Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.


 Оглавление

Предисловие к русскому изданию............... 5

Предисловие автора к русскому изданию............ 8

Предисловие........................ 9

Указания читателю..................... 11

Часть I. На пути к теории......13

Глава 1. Введение....................14

1.1. Аспекты ламбда-исчисления...............14

1.2. Полные частично упорядоченные множества и топология Скотта 21

1.3. Упражнения.....................31

Глава 2. Конверсия...................34

2.1. Ламбда-термы и конверсия............... 34

2.2. Некоторые варианты теории к............. 46

2.3. Обзор части II.................... 54

2.4. Упражнения.....................

Глава 3. Редукция....................61

3.1. Понятие редукции................... 61

3.2. Бета-редукция.................... 70

3.3. Г]-редукция..................... 75

3.4. Обзор части III.................... 79

3.5. Упражнения..................... 85

Глава 4. Теории.....................88

4.1. Ламбда-теории..'..................88

4.2. Обзор части IV....................95

4.3. Упражнения......................97

Глава 5. Модели.....................99

5.1. Комбинаторные алгебры................101

5.2. Ламбда-алгебры и ламбда-модели............105

5.3. Синтаксические модели................113

5.4. Модели в конкретных декартово замкнутых категориях....116

5.5. Модели в произвольных декартово замкнутых категориях...119

5.6. Другие описания моделей. Категоричные модели.......127

5.7. Обзор части V....................133

5.8. Упражнения.....................138

Часть II. Конверсия........

Глава 6. Классическое ламбда-исчисление....

6.1. Комбинаторы неподвижной точки.............

6.2. Стандартные комбинаторы..............

6.3. Ламбда-определимость.................

6.4. Цифровые системы.................

6.5. Еще о неподвижных точках; гёделевские номера.......

6.6. Результаты о неразрешимости..............

6.7. Отступление: рефлексивные предложения и теорема о рекурсии

6.8. Упражнения....................

Глава 7. Теория комбинаторов..............

7.1. Комбинаторная логика................

7.2. Редукция для CL...................

7.3. Соотношение между CL и X...............

7.4. Упражнения.....................

Глава 8. Классическое ламбда-исчисление (продолжение)

8.1. Базисы и перечисления.................

8 2. Равномерность; бесконечные последовательности.......

8.3. Разрешимость; головные нормальные формы........

8.4. Ламбда-определимость частичных функций.........

8.5. Упражнения.....................

Глава 9. hi-исчисление.................

9.1. Общие соображения..................

9.2. Определимость....................

9.3. Комбинаторы.....................

9.4 Разрешимость....................

9.5. Упражнения.....................

Глава 10. Деревья Бёма.................

10.1. Основные факты...................

10.2. Сравнение деревьев Бёма. Топология деревьев на Л.....

10.3. Техника выворачивания по Бёму............

10.4. Отделимость термов.................

10.5. Отделимость в исчислении..............

10.6. Упражнения.....................

Часть III. Редукция........

Глава 11. Фундаментальные теоремы..........

11.1. Теорема Чёрча --- Россера...............

11.2. Конечность разверток.................

11.3. Теорема о консервативности для ...........

11.4. Стандартизация...................

11.5. Упражнения.....................

Глава 12. Сильно эквивалентные редукции....

12.1. Редукционные диаграммы...............

12.2. Сильные варианты теорем CR и FD!...........

12.3. Сильный вариант теоремы стандартизации.........

12.4. Упражнения.....................

Глава 13. Редукционные стратегии............326

13.1. Классификация стратегий...............326

13.2. Эффективные нормализующие и кофинальные стратегии... 328

13.3. Рекурсивная CR-стратегия...............334

13 4. Эффективная зацикливающая стратегия..........340

13.5. Оптимальные стратегии.................346

13.6. Упражнения.....................35.

Глава 14. Помеченная редукция.............353

14.1. Сильная нормализация............... 353

14.2. Приложения.....................359

14.3. Непрерывность..................365

14.4. Последовательность вычислений и устойчивость.......374

14.5. Упражнения.....................382

Глава 15. Другие понятия редукции...........384

15.1. 6г|-редукцня....................384

15.2. 6г]0-редукция....................388

15.3. Дельта-редукция...................399

15.4. Упражнения.....................406

Часть IV. Теории.........409

Глава 16. Осмысленные теории..............410

16.1. Теория Ж.....................410

16.2. Теория Ж:.....................415

16.3. 2So осмысленных теорий................420

16.4. Теория 91.....................424

16.5. Упражнения.....................428

Глава 17. Другие ламбда-теории.............429

17.1. Полуосмысленные и р. п. теории............429

17.2. Омега-теории....................436

17.3. Частичная корректность ш-правила в Ят)..........443

17.4. ю-правило и теория................454

17.5. Упражнения.....................461

Часть V. Модели.........463

Глава 18. Построение моделей..............464

18.1. Графиковая модель Ра>................464

18.2. Модель ?>„....................471

18.3. Модель S.....................479

18.4. Упражнения................... 484

Глава 19. Локальная структура моделей........ 49Э

19.1. Локальная структура модели Рш............ 490

19.2. Локальная структура модели D............ 498

19.3. Непрерывные Х-модели................ 501

19.4. Упражнения..................... 504

Глава 20. Глобальная структура моделей.... 506

20.1. Экстенсиональность, категоричность...........506

20.2. Свойство области..................509

20.3. Результаты о неопределимости........

20.4. Локальная и глобальная представимость....

20.5. Топология деревьев на моделях........

20.6. Упражнения................

Глава 21. Комбинаторные группы.....

21.1. Комбинаторные полугруппы.........

21.2. Характеризация обратимости.........

21.3. Группы G(bi) и б (Ж)...........

21.4. Упражнения................

Приложения.....

Приложение А. Типовое ламбда-исчисление..

А.1. Чистое типовое ламбда-исчисление.......

А.2. Примитивно рекурсивные функционалы.....

А.З. Формулы-типы...............

Приложение В. Иллативная комбинаторная логика

Приложение С. Переменные..........

Заключительные упражнения...........

Добавления.............

Литература...............

Предметный указатель..

Указатель обозначений.....

 
© URSS 2016.

Информация о Продавце