Опис курсу

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

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

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