Машинні доведення (ОПП “Комп’ютерна алгебра, криптологія та теорія ігор”)

Тип: На вибір студента

Кафедра: алгебри, топології та основ математики

Навчальний план

СеместрКредитиЗвітність
83Залік

Лекції

СеместрК-сть годинЛекторГрупа(и)
824доцент Мельник І. О.МТА-41

Практичні

СеместрК-сть годинГрупаВикладач(і)
824МТА-41доцент Мельник І. О.

Опис курсу

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

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

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

Рекомендована література

  1. Андрійчук В. І., Комарницький М. Я., Мельник І. О. Елементи математичної логіки та теорії рекурсії: навч. посібник. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2013. – 282 с.
  2. Дрозд Ю. А. Основи математичної логіки: курс лекцій – К.: ВПЦ «Київський унiверситет», 2005.
  3. Thompson S. Type Theory & Functional Programming. Computing Laboratory, University of Kent, 1999. – 378 p.
  4. Андрійчук В. І., Комарницький М. Я., Іщук Ю. Б. Вступ до дискретної математики. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2003. – 254 с.
  5. Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic, 3rd ed. – Springer, 2021. – 313 p.
  6. Mendelson E. Introduction to Mathematical Logic. 6th ed. – CRC Press, 2015. – 513 p.
  7. Kleene S. C. Mathematical Logic. – Courier Corporation, 2013. – 416 p.
  8. Chang C. C., Keisler H. J. Model Theory – Courier Corporation, 2013. – 672 p.
  9. Van Cleeve M. Introduction to logic and critical thinking. – 2016. – 224 p.

Силабус: Машинні доведення (2022)

Завантажити силабус