Опис курсу

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

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

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