1. Обзор основных направлений искусственного интеллекта. Интеллектуальные методы автоматизации логических рассуждений. Интеллектуальные методы спецификации и верификации программ. Интеллектуальный анализ данных. Основные задачи теории машинного обучения и прогнозирования.
2. Основные проблемы верификации программ. Модели последовательных программ. Блок-схемы программ. Дедуктивная верификация программ на основе метода Флойда.
3. Процессные модели параллельных программ. Дедуктивная верификация параллельных программ.
4. Дедуктивная верификация протоколов передачи данных.
5. Дедуктивная верификация криптографических протоколов.
6. Верификация программ на основе метода model checking.
7. Основные подходы к решению задач классификации данных.
8. Метод опорных векторов.
9. Прогнозирование временных рядов на основе алгоритма взвешенного большинства.
10. Алгоритм оптимального распределения потерь.
11. Алгоритм прогнозирования временных рядов на основе следования за возмущенным лидером (Follow the Perturbed Leader).
12. Метод бустинга для усиления слабых классификаторов.
13. Алгоримы экспоненциального смешивания экспертных прогнозов.
14. Агрегирующий алгоритм В.Г.Вовка.
15. Введение в теорию игр. Построение игр с рандомизированными калибруемыми предсказаниями.