Теоретична підготовка:
• знання теорії автоматів;
• знання теорії формальних мов;
• знання теорії обчислюваності;
• знання теорії складності обчислень;
• знання основних моделей обчислень;
• знання базових алгоритмів обробки інформації;
• знання теоретичних основ квантових обчислень.

Практичні навички:
• вміння відображати та читати алгоритми подані різними методами;
• вміння виконувати аналіз алгоритмів;
• вміння синтезувати алгоритми використовуючи різні алгоритмічні стратегії;
• вміння застосовувати базові алгоритми обробки інформації засобами узагальненого програмування мов C++, C# та Java;
• вміння застосовувати функційну модель обчислень та виконувати програмування комп’ютерних систем застосовуючи парадигму функційного програмування;
• вміння застосовувати паралельні моделі обчислень та виконувати програмування комп’ютерних систем застосовуючи парадигму реактивного програмування;
• вміння застосовувати рівночасні моделі обчислень та виконувати програмування комп’ютерних систем застосовуючи парадигму подійно-орієнтованого програмування.

Пререквізити:
Дискретна математика
Програмування, частина 1 (Основи алгоритмізації та програмування)
Програмування, частина 2 (Об’єктно орієнтоване програмування)
Програмування, частина 3 (Структури даних та алгоритми)

Вступ до теорії алгоритмів. Методи відображення та синтез алгоритмів. Основи аналізу алгоритмів. Базові алгоритми обробки інформації. Бібліотеки основних алгоритмів обробки інформації для популярних мов програмування. Моделі обчислень. Квантові обчислення.

1) Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford. Introduction to Algorithms. — 3rd. — MIT Press, 2009. — ISBN 0-262-03384-4.
2) Donald E. Knuth.The Art of Computer Programming, Volumes 1-4A Boxed Set. Third Edition (Reading, Massachusetts: Addison-Wesley, 2011), 3168pp. ISBN 978-0-321-75104-1, 0-321-75104-3.
3) Michael Sipser (2013). Introduction to the Theory of Computation. 3rd. Cengage Learning. ISBN 978-1-133-18779-0
4) Savage, John E. (1998). Models Of Computation: Exploring the Power of Computing. ISBN 978-0-201-89539-1
5) Fernandez, Maribel (2009). Models of Computation: An Introduction to Computability Theory. Undergraduate Topics in Computer Science. Springer. ISBN 978-1-84882-433-1.
6) Anany Levitin (2012). Introduction to the design & analysis of algorithms. 3rd. ISBN-13: 978-0-13-231681-1
7) https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2006/
8) https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-045j-automata-computability-and-complexity-spring-2011/

Письмові контрольні на лекції (без виставляння балів)
Виконання і захист лабораторних та практичних робіт: 30
Екзаменаційний контроль: 70 (письмова компонента: 60, усна компонента: 10)