Математична логіка (122)

Тип: Нормативний

Кафедра: дискретного аналізу та інтелектуальних систем

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

СеместрКредитиЗвітність
34Іспит

Лекції

СеместрК-сть годинЛекторГрупа(и)
332доцент Щербина Ю. М.ПМі-21, ПМі-22, ПМі-23, ПМі-24, ПМі-25, ПМі-26

Лабораторні

СеместрК-сть годинГрупаВикладач(і)
332ПМі-21Пелюшкевич О. В., Прядко О. Я.
ПМі-22Пелюшкевич О. В., Прядко О. Я.
ПМі-23доцент Колос Н. М., Пелюшкевич О. В.
ПМі-24доцент Колос Н. М., Пелюшкевич О. В.
ПМі-25Прядко О. Я., Пелюшкевич О. В.
ПМі-26Прядко О. Я., Пелюшкевич О. В.

Опис курсу

Вивчаються основні поняття, засоби і методи математичної логіки, їх застосування в інформатиці й програмуванні; мови пропозиційної логіки та логіки першого порядку, їх можливості для опису предметних областей; подаються сучасні уявлення про основні методи пошуку доведень та засоби логічного виведення; сучасні уявлення про некласичні логіки (інтуїціоністські, нечіткі, модальні; темпоральні, алгоритмічні) та їхні застосування.

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

Основна

  1. Ю.М.Щербина, Н.М. Колос, О.Я. Прядко. Математична логіка для комп’ютерних наук. Львів: ЛНУ ім. Івана Франка, 2023.
  2. S.C.Cleene. Mathematical Logic. Dover Publications, Inc, Mineola, New York, 2019.
  3. Mordechai BenAri. Mathematical Logic for Computer Science, Springer, 2012
  4. Michael Huth, Mark Ryan. Logic in Computer Science. Modelling and Reasoning about Systems. Cambridge University 16th printing 2018.

Додаткова

  1. В.П. Мельник. Філософія. Наука. Техніка. Львів: ЛНУ ім. Івана Франка, 2010.
  2. М.Я. Комарницький, В.І. Андрійчук, І.О. Мельник. Елементи математичної логіки та теорії рекурсії. Львів: ЛНУ ім. Івана Франка, 2013.
  3. М.С. Нікітченко, С.С. Шкільняк. Математична логіка та теорія алгоритмів. Київський національний університет імені Тараса Шевченка, 2008.
  4. С.С. Шкільняк. Теорія алгоритмів. Приклади й задачі. Київський національний університет імені Тараса Шевченка, 2012.
  5. М.С. Нікітченко, С.С. Шкільняк. Прикладна логіка. Київський національний університет імені Тараса Шевченка, 2013.
  6. А.Є. Конверський. Логіка (традиційна та сучасна). Київ, центр навчальної літератури, 2004.

Силабус: Математична логіка Спец_125 Бакалавр

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

Силабус: 122 Комп'ютерні науки (2023 р.)

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

Силабус: 122 Комп'ютерні науки (2024 р.)

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