Математична логіка (ОПП “Середня освіта (Математика)”)
Тип: Нормативний
Кафедра: алгебри, топології та основ математики
Навчальний план
Семестр | Кредити | Звітність |
7 | 4 | Іспит |
Лекції
Семестр | К-сть годин | Лектор | Група(и) |
7 | 36 | доцент Мельник І. О. | МТО-41 |
Практичні
Семестр | К-сть годин | Група | Викладач(і) |
7 | 36 | МТО-41 | доцент Мельник І. О. |
Опис курсу
Дисципліна «Математична логіка» є важливим елементом математичної освіти. Він включає в себе такі розділи як числення висловлень, числення предикатів, елементи теорії моделей та теорії алгоритмів. Поняття і методи математичної логіки необхідні для обґрунтування правильності тих чи інших способів здобуття істинного знання, теорія алгоритмів є теоретичною основою програмування.
Метою вивчення дисципліни «Математична логіка» є ознайомлення студентів з основними поняттями, методами та результатами математичної логіки, побудовою формальних теорій, формалізацією міркувань, формування у майбутніх математиків навиків вивчення структури математичних тверджень; навчитись ефективно застосовувати теоретичний математичний апарат для розв’язання практичних задач.
Завдання дисципліни: сприяти розвитку логічного, абстрактного, аналітичного та алгоритмічного мислення студентів, навчитись ефективно застосовувати теоретичний апарат логіки висловлювань, логіки предикатів та теорії алгоритмів для розв’язання практичних задач; підготовка до використання набутих знань в подальших навчальних курсах з механіки та математики.
Рекомендована література
- Андрійчук В. І., Комарницький М. Я., Мельник І. О. Елементи математичної логіки та теорії рекурсії: навч. посібник. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2013. – 282 с.
- Андрійчук В. І., Комарницький М. Я., Іщук Ю. Б. Вступ до дискретної математики. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2003. – 254 с.
- Дрозд Ю. А. Основи математичної логіки: курс лекцій – К.: ВПЦ «Київський унiверситет», 2005.
- Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic, 3rd ed. – Springer, 2021. – 313 p.
- Mendelson E. Introduction to Mathematical Logic. 6th ed. – CRC Press, 2015. – 513 p.
- Kleene S. C. Mathematical Logic. – Courier Corporation, 2013. – 416 p.
- Chang C. C., Keisler H. J. Model Theory – Courier Corporation, 2013. – 672 p.