Студент Рыжков Сергей. Руководитель Волосникова Л.В.
Логическое программирование
Язык основан на теории исчисления предикатов первого порядка и методах доказательства теорем.
Основной метод вычислений – резолюция (“resolution”, процедура доказательства)
Тип документа: Презентация
Целевой возраст: 14 и старше
Количество закачек - 80. Благодарностей - 0 Прокомментировать публикацию.
|