Код: 315425

Назва:

Логічне програмування

Анотація: Мова Пролог. Структура програми на Пролозі, засоби представлення знань, поняття рекурсії, циклу, бектрекінгу. Представлення баз даних у Пролозі, довга арифметика, алгоритми на графах, синтаксичні перетворювачі, математичні ігри.

Тип дисципліни: нормативна

Рік навчання: 3

Семестр: весняний

Кількість кредитів: 4,0 (загальна кількість годин - 120 год.; аудиторні години - 40 год.; лекції - 16 год.; практичні заняття - 24 год.; самостійна робота - 60 год.)

Форма контролю: екзамен

Викладач(і): Ющенко Ю.О.,доц.,к.ф.м.н.

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

Спосіб навчання: аудиторний

Необхідні обовязкові попередні й супутні модулі: «Дискретна математика», «Мови програмування», «Алгоритми та структури даних», «Бази даних та інформаційні системи», «Математична логіка та теорія алгоритмів», «Функціональне програмування», «Основи штучного інтелекту»

Зміст дисципліни: Основним завданнями вивченням дисципліни «Логічне програмування» є оволодіння основними поняттями та означеннями логіки предикатів та логічного програмування; отримання досвіду використання засобів мови Пролог для розробки інформаційних технологій.


Рекомендована література: 1. Coelho, H.; Cotta, J. C., Prolog by Example. How to Learn, Teach and Use It. Berlin etc., Springer-Verlag 1988. X, 382 pp., 68 figs., DM 64,—. ISBN 3-540-18313-2.
2. Merritt Dennis. - Building Expert Systems in Prolog. 1989., Springer-Verlag, 308p.
3. Michael Spivey. An introduction to logic programming through Prolog. Prentice–Hall International. 1996.
4. The First 10 Prolog Programming Contests. Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tron, Belgium – 2005. - 161р., ISBN-10: 9090197826б ISBN-13: 9789090197821.
5. Walker, Adrian et al. Knowledge Systems and Prolog. Addison-Wesley. 1990. ISBN 0-201-52424-4.
6. Адаменко А.Н., Кучуков А.М. - Логическое программирование и Visual Prolog. СПб,: БХВ-Петербург, 2003. – 922с.: ил. — ISBN 5-94157-156-9.
7. Братко И. Алгоритмы искусственного интеллекта на языке PROLOG, 3-е издание. : Пер. с англ. — М. : Издательский дом “ Вильямс” , 2004. — 640 с. ил., ISBN 5-8459-0664-4.
8. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. - М.: Мир, 1990.- 560с., ил. ISBN 5-03-001425-Х.
9. Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего: Пер. с англ. - М.: Финансы и статистика, 1990, - 144с.: ил.
10. Ин. Ц., Соломон Д. Использование Турбо-Пролога: - М.: Мир, 1990.
11. Кларк К.Л., Маккеиб Ф.Г. Введение в логическое программирование на Микро – Прологе: Пер. с англ. - М.: Радио и связь, 1987, - 312с.
12. Клоксин У.Ф., Меллиш К.Ф. Программирование на языке Пролог: Пер. с англ. - М.: Мир, 1987, – 336с.
13. Ковальски Р. Логика в решении проблем: Пер. с англ. - М.: Наука, 1990, - 280с., ил.
14. Макаллистер Дж. Искусственный интеллект и Пролог на микро-ЭВМ: - М.: Машиностроение, 1990. - 236с.
15. Малпас Дж. Реляционный язык Пролог и его применение: М.: Наука, 1990. - 463с., ил.
16. Марселлус Д. Программирование экспертных систем на Турбо Прологе. - М.: Финансы и статистика, 1991.
17. Питер Джексон. Введение в экспертные системы = Introduction to Expert Systems. — 3-е изд. — М.: «Вильямс», 2001. — С.624. — ISBN 0-201-87686-8. Jackson, Peter (1998). Introduction to Expert Systems.
18. Сергиевский Г.М. Функциональное и логическое программирование : учеб. пособие для студ. высш. учеб. заведений / Г. М. Сергиевский, Н.Г.Волчёнков. — М. : Издательский центр «Академия», 2010. — 320 с. ISBN 978-5-7695-6433-8.
19. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990, - 235с., ISBN 5-03-000406-8.
20. Стобо Дж. Язык программирования Пролог: Пер. с англ. - М.: Радио и связь, 1993. - 368с., ил.
21. Уотермен Д. Руководство по экспертным системам: Пер. с англ. под ред. В. Л. Стефанюка. — М.: «Мир», 1989: — 388 стр. с ил.
22. Хоггер К. Введение в логическое программирование: Пер. с англ. - М.: Мир, 1988. - 348с.
23. Чери С., Готлоб Г., Танака Л. Логическое программирование и базы данных: - М.: Мир, 1992.
24. Ющенко Ю.О. Вступ до логічного програмування. Методичний посібник з логічного програмування, - Київ: Європейський університет, 2005 р. 107с., з іл.
25. Ющенко Ю.О. Вступ до програмування в логіці. Практикум на мові Пролог. Методичний посібник з логічного програмування, - Київ: МСУ, 2001 р., Видавниче - Поліграфічний Центр МСУ Київ 2003 р. 146с.
26. Янсон А. Турбо - Пролог в сжатом изложении: Пер. с нем. - М.: Мир, 1991., 94с., ил.


Форми та методи навчання: лекції, семінарські заняття, самостійна робота

Методи й критерії оцінювання: рейтингове оцінювання за 100-бальною системою: поточний контроль - 75 балів (домашні завдання, реферати, проекти, 3 контрольні роботи); підсумковий контроль - 25 балів (письмовий екзамен).

Мова навчання: українська