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

Задания на контрольные работы

• Задачи 1-115 по функциональному программированию (Напишите функцию, которая возвращала бы True. Напишите косвенный куин на Haskell’е)

Задания на курсовые работы

• Упрощение электрических цепей. Программа для алгебраических вычислений. Парсинг для языка логики предикатов (Темы для курсовых работ по функциональному и логическому программированию)