Математична логіка (122)
Тип: Нормативний
Кафедра: дискретного аналізу та інтелектуальних систем
Навчальний план
Семестр | Кредити | Звітність |
3 | 4 | Іспит |
Лекції
Семестр | К-сть годин | Лектор | Група(и) |
3 | 32 | доцент Щербина Ю. М. | ПМі-21, ПМі-22, ПМі-23, ПМі-24, ПМі-25, ПМі-26 |
Лабораторні
Семестр | К-сть годин | Група | Викладач(і) |
3 | 32 | ПМі-21 | Пелюшкевич О. В., Прядко О. Я. |
ПМі-22 | Пелюшкевич О. В., Прядко О. Я. | ||
ПМі-23 | доцент Колос Н. М., Пелюшкевич О. В. | ||
ПМі-24 | доцент Колос Н. М., Пелюшкевич О. В. | ||
ПМі-25 | Прядко О. Я., Пелюшкевич О. В. | ||
ПМі-26 | Прядко О. Я., Пелюшкевич О. В. |
Опис курсу
Вивчаються основні поняття, засоби і методи математичної логіки, їх застосування в інформатиці й програмуванні; мови пропозиційної логіки та логіки першого порядку, їх можливості для опису предметних областей; подаються сучасні уявлення про основні методи пошуку доведень та засоби логічного виведення; сучасні уявлення про некласичні логіки (інтуїціоністські, нечіткі, модальні; темпоральні, алгоритмічні) та їхні застосування.
Рекомендована література
Основна
- Ю.М.Щербина, Н.М. Колос, О.Я. Прядко. Математична логіка для комп’ютерних наук. Львів: ЛНУ ім. Івана Франка, 2023.
- S.C.Cleene. Mathematical Logic. Dover Publications, Inc, Mineola, New York, 2019.
- Mordechai Ben–Ari. Mathematical Logic for Computer Science, Springer, 2012
- Michael Huth, Mark Ryan. Logic in Computer Science. Modelling and Reasoning about Systems. Cambridge University 16th printing 2018.
Додаткова
- В.П. Мельник. Філософія. Наука. Техніка. Львів: ЛНУ ім. Івана Франка, 2010.
- М.Я. Комарницький, В.І. Андрійчук, І.О. Мельник. Елементи математичної логіки та теорії рекурсії. Львів: ЛНУ ім. Івана Франка, 2013.
- М.С. Нікітченко, С.С. Шкільняк. Математична логіка та теорія алгоритмів. Київський національний університет імені Тараса Шевченка, 2008.
- С.С. Шкільняк. Теорія алгоритмів. Приклади й задачі. Київський національний університет імені Тараса Шевченка, 2012.
- М.С. Нікітченко, С.С. Шкільняк. Прикладна логіка. Київський національний університет імені Тараса Шевченка, 2013.
- А.Є. Конверський. Логіка (традиційна та сучасна). Київ, центр навчальної літератури, 2004.