Курс присвячений вивченню основ теорії алгоритмів, засобів формалізації задач та процесів їх розв’язання. 

Розглядається поняття «алгоритм» та властивості алгоритмів. Вивчаються способи формального опису алгоритмів за допомогою рекурсивних функцій, через машини Тюрінга, Поста та нормальні алгоритми Маркова. 

Наводяться міри складності алгоритмів, визначаються легкі та  складні для розв’язання завдання, розглядаються класи задач P і NP та алгоритмічно нерозв'язні проблеми. 

Вивчаються принципи побудови ефективних і надійних програм, розглядаються приклади основних алгоритмів, що використовуються для вирішення типових завдань в сфері комп’ютерних наук.

• Викладач: Николай Заврак
• Викладач: Татьяна Шмелёва