Мета дисципліни: ознайомлення та оволодіння сучасними математичними методами теорії алгоритмів та використання математичної логіки як інструментарію для подання та обробки інформації.

Завдання дисципліни: засвоєння основних задач щодо створення алгоритмів, основних принципів та прийомів математичного моделювання операцій, принципів підбору математичного та програмного забезпечення для практичної реалізації задач.