ВУЗ:
Составители:
6.6 Правило резолюции для исчисления высказываний ____________________37
6.7 Унификация _______________________________________________________37
6.8 Правило резолюции для исчисления предикатов _______________________38
6.9 Алгоритм резолюций ________________________________________________38
6.10 Опровержение методом резолюций ___________________________________39
7 Логическое программирование ____________________________________________42
7.1 Стратегия метода резолюций в Прологе _______________________________42
7.2 Хорновская логическая программа ___________________________________43
7.3 Оценка языка Пролог _______________________________________________45
8 Функциональный взгляд на вычисления ____________________________________47
9 Ламбда–исчисление______________________________________________________51
9.1 Ламбда–исчисление как формальная система __________________________51
9.1.1 Значение ламбда–исчисления ______________________________________51
9.1.2 Синтаксис и семантика ламбда–исчисления __________________________52
9.1.3 Вычисление ламбда–выражений____________________________________53
9.1.4 Нормальные формы ______________________________________________55
9.1.5 Комбинаторы ___________________________________________________57
9.2 Ламбда–исчисление как язык программирования ______________________58
9.2.1 Истинностные значения и условное выражение _______________________58
9.2.2 Пары и кортежи _________________________________________________59
9.2.3 Числа __________________________________________________________60
9.2.4 Рекурсивные функции ____________________________________________64
9.2.5 Функции с несколькими аргументами _______________________________66
9.2.6 Представление вычислимых функций _______________________________67
9.2.7 Расширение ламбда–исчисления ___________________________________68
9.2.8 Типовое ламбда–исчисление _______________________________________68
10 Ленивое функциональное программирование______________________________70
10.1 Haskell _____________________________________________________________70
10.2 Функции высших порядков __________________________________________74
10.3 Ленивые вычисления _______________________________________________78
10.4 О модульном программировании _____________________________________80
10.5 Надежность программирования ______________________________________81
Литература ________________________________________________________________83
3
