Машинні доведення (ОПП “Комп’ютерна алгебра, криптологія та теорія ігор”)
Тип: На вибір студента
Кафедра: алгебри, топології та основ математики
Навчальний план
| Семестр | Кредити | Звітність |
| 8 | 3 | Залік |
Лекції
| Семестр | К-сть годин | Лектор | Група(и) |
| 8 | 24 | доцент Мельник І. О. | МТА-41 |
Практичні
| Семестр | К-сть годин | Група | Викладач(і) |
| 8 | 24 | МТА-41 | доцент Мельник І. О. |
Опис курсу
Дисципліна «Машинні доведення» включає елементи формальної логіки, числення висловлень, числення предикатів, елементи теорії моделей. Поняття і методи логіки необхідні для побудови доведень, обґрунтування правильності тих чи інших способів здобуття істинного знання.
Метою вивчення дисципліни «Машинні доведення» є ознайомлення студентів з основними поняттями, методами та результатами математичної логіки, побудовою формальних теорій, формалізацією міркувань, формування у майбутніх математиків навиків вивчення структури математичних тверджень, побудови доведень, навчитись ефективно застосовувати теоретичний математичний апарат для розв’язання практичних задач.
Завдання дисципліни: сприяти розвитку логічного, абстрактного, аналітичного та алгоритмічного мислення студентів, навчитись ефективно застосовувати теоретичний апарат логіки висловлювань, логіки предикатів для розв’язання практичних задач.
Рекомендована література
- Андрійчук В. І., Комарницький М. Я., Мельник І. О. Елементи математичної логіки та теорії рекурсії: навч. посібник. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2013. – 282 с.
- Дрозд Ю. А. Основи математичної логіки: курс лекцій – К.: ВПЦ «Київський унiверситет», 2005.
- Thompson S. Type Theory & Functional Programming. Computing Laboratory, University of Kent, 1999. – 378 p.
- Андрійчук В. І., Комарницький М. Я., Іщук Ю. Б. Вступ до дискретної математики. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2003. – 254 с.
- 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.
- Van Cleeve M. Introduction to logic and critical thinking. – 2016. – 224 p.