Курс лекций ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Графика
Начерталка

Математика

Лабы

Лекция 1 Формальная логика. Логика предикатов. Фразы Хорна. Принцип резолюции

Лекция 2 Логика предикатов

Лекция 3 Алгоритм основан на принципе резолюции.

Лекция 4 Процедуры. Отсечение.

Лекция 5 Рекурсия. Итерационное программирование. Вычислительная рекурсия

Лекция 6 Рекурсивные структуры данных Бинарные деревья

Лекция 7 Разработка экспертных систем Графы. Графы пространства состояний. Стратегия поиска

Примерные вопросы экзамена

Машиностроительное черчение, инженерная графика, начертательная геометрия. Выполнение контрольной