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