Функциональное программирование

Конспекты лекций

• Мера, интеграл Лебега, гильбертово пространство
• Теоретические основы автоматического доказательства теорем

Отчеты по лабораторным работам

• Изучение среды Visual Prolog 5.2. Изучение эксперт The Dialog and Window Expert
• Списки и бинарные деревья. Написание программы для выполнения операций со списками
• Элементарные экспертные системы. Разработка экспертной системы для тестирования знаний по теме «Списки и рекурсия».

Расчетно-графические работы

• Метод поиска решения на графе пространства состояний
• Метрическое пространство заданное множество M с определением на нем функции