Оглавление
Введение ..................................................................................... 9
Часть 1
БЕСТИПОВОЕ л-ИСЧИСЛЕНИЕ
Упражнение 1. Комбинаторная логика: синтаксис
бестипового А-исчисления ........................................................... 19
Теоретические сведения .............................................................. 20
Понятие «комбинаторная логика» ................................................. 20
Бестиповое л-исчисление как формальная система ........................ 22
Биографические сведения ............................................................ 34
Примеры решения некоторых типов упражнений ............................ 34
Демонстрационные примеры ......................................................... 35
Упражнения для самостоятельного решения ................................... 42
Упражнение 2. Бестиповое л-исчисление:
доказательство А-формул ............................................................. 49
Теоретические сведения ............................................................... 50
Бинарные отношения, связанные с л-исчислением ......................... 50
Схемы аксиом и правила вывода бестипового л-исчисления ............ 51
Бинарное отношение «доказуемость л-формулы» ........................... 52
Правило экстенсиональности ......................................................... 54
Разновидности бестипового л-исчисления ...................................... 55
Примеры решения некоторых типов упражнений ............................ 58
Упражнения для самостоятельного решения ................................... 59
Упражнение 21. Замыкание бинарных отношений ........................... 63
Теоретические сведения ............................................................... 64
Замыкания бинарных отношений ................................................... 64
Оператор замыкания на множестве ................................................ 68
Упражнения для самостоятельного решения .................................... 69
Упражнение 3. Бестиповое А-исчисление:
редукция А-термов ........................................................................ 73
Теоретические сведения ................................................................ 74
Правила редукции и конверсии ....................................................... 74
Основные бинарные отношения ...................................................... 76
Нормальная форма л-терма ............................................................. 80
I
Высшее образование - Кудрявцева И.А., Швецкий М.В. - Программирование. Комбинаторная логика, 2-е изд. [2022, PDF, RUS] [uztracker.net-25020].torrent 
 |
| Торрент: |
Зарегистрирован [ 2025-06-01 13:51 ]
info_hash: 8B6F06B1E025414234F6104417393D5C05CFCE43 |
Скачать .torrent
11 KB
|
| Статус: |
√ проверено
· MAGNAT · 9 месяца 15 дня назад
|
| Скачано: |
22 раза |
| Размер: |
33.75 MB |
| Оценка: |
(Голосов: 0) |
| Поблагодарили: |
0  |
|
