План курса
1. Вводная лекция     Смотреть
2. Императивное программирование     Смотреть
        Домашнее задание-упражнение по ИП - см. внизу страницы на     Смотреть
3. Функциональный язык Лисп: рекурсия и функционалы
4. Языки семейства Лиспа: обзор средств (Scheme, Сlojure, Racket)
        Домашнее практическое задание    
5. Логический язык Пролог: унификация и бектрекинг
6. Логическая парадигма: язык Alloy
7. Функциональный язык Хаскель: ленивые вычисления, типы
8. Функционально-логический язык Mercury
        Домашнее практическое задание    
9. Объектно-ориентированная парадигма
10. Обобщенное программирование
11. Макропрограммирование
        Домашнее задание-упражнение по МП   
УЧЕБНЫЕ МАТЕРИАЛЫ - см. в папках:
Курс включает лекции и семинары
На семинаре
- разбор преподавателем нескольких задач/программ по теме лекции;
- самостоятельное решение 2-3 задач по текущей теме и сдача их преподавателю.
Если студент не успел решить/сдать задачу на семинаре, ее можно дорешать и досдать в течение недели со дня семинара (отсылка по почте конкретному преподавателю).
Домашние задания
Итоговая контрольная работа
Оценка курса (экзамен)