Навчання > Комп’ютерна логіка та OCaml (ОПП “Комп’ютерна алгебра, криптологія та теорія ігор”)

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

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

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

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

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

Лекції

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

Практичні

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

Опис курсу

Дисципліна «Комп’ютерна логіка і OCaml» включає елементи формальної логіки, числення висловлень, числення предикатів та вивчення мови програмування OCaml (Objective Caml, Categorical Abstract Machine Language). Поняття і методи логіки необхідні для побудови доведень, обґрунтування правильності тих чи інших способів здобуття істинного знання.

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

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

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

    1. Андрійчук В. І., Комарницький М. Я., Мельник І. О. Елементи математичної логіки та теорії рекурсії: навч. посібник. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2013. – 282 с.
    2. Thompson S. Type Theory & Functional Programming. Computing Laboratory, University of Kent, 1999. – 378 p.
    3. Clarkson M. OCaml Programming: Correct + Efficient + Beautiful. – Режим доступу: https://www.youtube.com/watch?v=MUcka_SvhLw
    4. OCaml Manual. – Режим доступу: https://v2.ocaml.org/releases/5.0/htmlman/manual001.html
    5. Дрозд Ю. А. Основи математичної логіки: курс лекцій – К.: ВПЦ «Київський унiверситет», 2005.
    6. Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic, 3rd ed. – Springer, 2021. – 313 p.
    7. Mendelson E. Introduction to Mathematical Logic. 6th ed. – CRC Press, 2015. – 513 p.
    8. Kleene S. C. Mathematical Logic. – Courier Corporation, 2013. – 416 p.
    9. Chang C. C., Keisler H. J. Model Theory – Courier Corporation, 2013. – 672 p.

Силабус: Комп'ютерна логіка та OCaml (2022)

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