(ДВ1) Основи математичної логіки (ММСЕП)
Тип: На вибір студента
Кафедра: математичного моделювання соціально-економічних процесів
Навчальний план
| Семестр | Кредити | Звітність |
| 3 | 3 | Залік |
Лекції
| Семестр | К-сть годин | Лектор | Група(и) |
| 3 | 16 | професор Сеньо П. С. | ПМа-22 |
Лабораторні
| Семестр | К-сть годин | Група | Викладач(і) |
| 3 | 32 | ПМа-22 | Фундак Л. І., Лисецька О. Ю. |
Опис курсу
Курс розроблено таким чином, щоб надати учасникам знання принципів застосування математичної логіки, як необхідного інструменту у вигляді програмного забезпечення систем штучного інтелекту, для інтелектуального аналізу даних, прогнозування, аналізу економічних та соціальних процесів, а також у багатьох інших галузях науки та техніки. Тому у курсі представлено засто¬сування висновків математичної логіки та її методів до аналізу формулювань та доведень теорем, схем аналізу даних, математичних висновків. Основну частину курсу займає розгляд практичних і теоретич¬них аспектів математичної логіки та їх основних програмних реалізацій.
Метою вивчення нормативної дисципліни “ Основи математичної логіки ” є освоєння студентами теоретичних і практичних основ аналізу математичних теорій, теорем, доведень математичних тверджень для ознайомлення з типовими задачами цієї науки та формування чіткого уявлення про можливості застосування висновків її для аналізу явищ природи, планування та прогнозування виробничих процесів, практична підготовка їх до проведення логічних досліджень, аналізу і обробки отриманих результатів, для розробки штучного інтелекту.
Завданням вивчення навчальної дисципліни є сформувати у студентів теоретичні знання та практичні навички в області аналізу математичних теорій, формулювання та доведення теорем, інтелектуального аналізу даних; надати студентам уявлення про основні способи розв’язування задач прогнозування на основі законів логіки, надати студентам практичні навички обгрунтувань істинності висновків проведених досліджень.
Рекомендована література
Основна література
1. Безущак Оксана Математична логіка : навч. посіб. / Оксана Безущак, Олександр Ганюшкін. – К. : ВПЦ “Київський університет”. – 2023. – 143 с. ISBN 978-966-933-248-62.
2. Конверський А. Є. Сучасна логіка (класична та некласична) / А. Є. Конверський. – 2-ге вид. перероб. та доп. К.: Центр учбової літератури. – 2017. – 294 с. ISBN 978-617-673-684-4.
3. Зубенко В.В., Шкільняк С.С. Основи математичної логіка: навчальний посібник. / В.В. Зубенко В.В., С.С. Шкільняк С. – К.: НУБіП України. – 2020. – 102 с. ISBN 978-617-7878-13-0.
1. 4. Logic as a tool (S. Abramsky, S. Artemov, R. A. Shore, A. S. Troelstra), –
Stockholm University, Sweden, 2016. – 358 p.
Додаткова література
5. Дрозд Ю.А. Основи математичної логіки: навч. посібник /Ю.А. Дрозд. – К.: Київський університет, 2003. – 96 с.
6. Нікольський Ю.В. Дискретна математика: /Ю.В. Нікольський, В.В. Пасічник, Ю.М. Щербина. – Львів.: Видавництво “Магнолія – 2006”, 2013. – 432 с.
7. Трохимчук Р.М. Збірник задач і вправ з математичної логіки: Київ, ДП “Видавничий дім “Персонал””, – 2008, – 115 с.
8. Samuel R. Buss: Handbook of proof theory / Samuel R. Buss, S. Abramsky,
S. Artemov, R.A. Shore, A.S. Troelstra.- Departments of Mathematics and
Computer Science, University of California, San Diego La Jolla, California
92093-0112, USA – 1988. – 811 p.
2. 9. https://en.wikipedia.org/wiki/Lindström%27s_theorem
3. 10. https://en.wikipedia.org/wiki/Löwenheim–Skolem_theorem
11. http://www.cyb.univ.kiev.ua/library/training-materials/discrete-mathematics/foundations-of-mathematical-logic.pdf
12. Polya George Mathemacial Discovery / George Polya. – John Wiley & Sons., New York – London. – V. I. – 1962. – V. II. – 1965. – 448 p.
Матеріали
Електронний навчальний курс