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

Завдання: Сформувати в студентів знання основних понять і методів математичної логіки; засвоїти основні принципи побудови формальних доведень, розробки та аналізу алгоритмів; підготувати студентів до використання отриманих знань і навиків при вивченні спеціальних предметів та розв’язуванні практичних задач, логічного програмування.