Опис курсу

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

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