23.Логічні алгоритми і системи штучного інтелекту

Структура інтелектуальної обчислювальної системи. Поняття знання. База знань (БЗ). Концептуальний і інформаційний рівні БЗ. Модель предметної області і мову подання знань. Основні ознаки знань і даних. Інтелектуальні пакети прикладних програм (ІППП). Основні компоненти ІППП і схема функціонування. Модель предметної області ІППП у вигляді функціональної семантичної мережі. Робота планувальника завдань ІППП на основі алгоритму паросполучення. Моделі подання знань: семантичні мережі (СМ). Типові об'єкти СМ і фундаментальні типи зв'язків (відносин). Спадкування властивостей в СМ. Транзитивні відносини. Процедурні СМ. Процедури виведення на семантичних мережах.

24.Теорія програмування

Загальна схема програм пошуку по графу. Приклади інтерпретації. Матроіди. Загальна схема і приклади реалізації жадібних алгоритмів. Зв'язок матроіда і жадібних алгоритмів. Принципи і прийоми динамічного програмування. Приклади схем програм реалізації динамічного програмування

Література

1. Абель П. Язык ассемблера для IBM PC и программирования.

2. Ахо А., Хопкрофт Д., Ульман Д. Структуры данных и алгоритмы.

3. Бахвалов Н.С., Жидков Н.П., Кобельков Г.М. Численные методы.

4. Вирт Д. Алгоритмы и структуры данных.

5. Воеводин В.В. Линейная алгебра.

6. Габасов Р.Ф. Методы оптимизации.

7. Гихман И.И., Скороход А.В., Ядренко М.И. Теория вероятностей и математическая статистика.

8. Дейт К. Ведение в системы баз данных.

9. Ильин В.А., Садовничий В.А., Сендов Бл.Х. Математический анализ .

10. Кормен Т., Лайзерсон Ч., Ривест Р., Штайн К., Алгоритмы. Построение и анализ.

11. Крушевский А.В., Теория игр. – К., 1977 – 213 с.

12. Ларичев О.И. Наука и искусство принятия решения.

13. Любимский А.В., Трифонов С.А. Программирование.

14. Матвеев Н.М., Методы интегрирования обыкновенных дифференциальных уравнений.

15. Представление и использование знаний. (Под ред. Х. Уэно, М. Исудзука).

16. Самарский А.А., Гулин А.В. Численные методы.

17. Страуструп Б. Язык программирования C++.

18. Таненбаум Э. Современные операционные системы.

19. Таха X. Введение в исследование операций.

20. Яблонский СВ. Введение в дискретную математику.