Языки логического (Пролог) и функционального (ЛИСП и РЕФАЛ) программирования. Задачи прямого и обратного вывода. Алгоритм CLS для построения деревьев. Математические основы индуктивного и дедуктивного вывода, алгебра высказываний, исчисление предикатов.
24.06.2009 |
Логическое и функциональное программирование |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 146
