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

У результаті вивчення навчальної дисципліни студенти повинні знати: основні поняття i теореми з математичної логіки; вмiти: користуватися конструктивними методами математичної логіки при побудові та реалізації формальних математичних моделей; користуватися ефективними алгоритмами доведення теорем; та досягти наступних програмних результатів навчання: 1. Володіння основними принципами та прийомами математичної логіки;  уміння та здатність провадити логічний аналіз предметних задач та будувати логічні оцінки результатів досліджень, бачити помилки й огріхи в логіці міркувань.2. Розуміти можливості сучасних наукових методів пізнання, їх особливості й володіти ними на рівні, необхідному для вирішення нестандартних завдань та проблем в діяльності фахівця математики; уміння застосовувати теоретичні знання та практичні навички до розв’язування типових олімпіадних та конкурсних задач.