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

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

Мета курсу – сформувати у студентів знання, вміння і навички необхідні для усвідомлення і раціонального використання понять, законів і методів математичної логіки  і як предмету вивчення, і як засобу для вивчення інших предметів математичного і нематематичного циклу; а також підвищити загальну культуру мислення.

Разом з іншими предметами вивчення математична логіка і теорія алгоритмів повинна сприяти розвитку наукового мислення