Тема 11. Макросы и основания информатики

Содержание

1. Макросы
   1. Генерация кода
   2. Синтаксические кавычки
   3. Пример: JS-подобные объекты
   4. Пример: разбор текста
2. Кодирование Чёрча
   1. Булева алгебра
   2. Пары и списки
   3. Персистентная память
3. Числа Чёрча
   1. Натуральные числа
   2. Арифметика
   3. Предикаты сравнения
   4. Числа со знаком
   5. Дальнейшие обобщения