Навчальна дисципліна "Математична логіка та теорія алгоритмів" присвячена розгляду фундаментальних об’єктів, структур і моделей із розділів "Математична логіка" та "Теорія алгоритмів" сучасного дискретного аналізу, а також підходів і методів розв’язування типових прикладних задач.

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

Метою дисципліни "Математична логіка та теорія алгоритмів" є детальне вивчення фундаментальних об’єктів, структур і моделей із розділів "Математична логіка" та "Теорія алгоритмів" сучасного дискретного аналізу, а також підходів і методів розв’язування типових прикладних задач.