- •Теорія алгоритмів і математичні основи представлення знань
- •1 Рекурсивні функції
- •1.2 Лабораторна робота №1
- •2 Нормальні алгоритми Маркова
- •2.1 Теоретичні поняття і визначення
- •2.3 Контрольні питання
- •3 Машина Тьюрінга
- •3.1 Теоретичні поняття і визначення
- •5 Математична логіка. Логіка висловлень
- •5.1 Теоретичні поняття і визначення
- •4 Еквівалентність алгоритмічних систем
- •5.2 Лабораторна робота №4
- •6 Математична логіка.
- •6.1 Теоретичні поняття і визначення
- •6.2 Лабораторна робота №5
- •6.3 Контрольні питання
- •Література
Література
Кривий С.Л. Теорія алгоритмів і математичні основи представлення знань. Конспект лекцій. – К.: ДАЛПУ 1999.
Алгоритмы вокруг нас. Криницкий Н.А. – М.: Наука. 1984.
224 с.
Капітонова Ю.В., Кривий С.Л., Летичевський О.А., Луцький Г.М., Печурін М.К. Основи дискретної математики. –К: Наукова думка. 2002.-579 с.
4 Дискретна математика: Підручник / Ю. М. Бардачов , Н. А. Соколова, В. Е. Ходаков; за ред. В. Е. Ходакова. – К.: Вища шк., 2002. –287 с.: іл.
Донской В.И. Дискретная математика.-Симферополь: Издательство "СОНАТ" , 2000. –360 с Илл.45.
6 А. Ахо, Дж.Хопкрофт, Дж. Ульман. Построение и анализ вычислительных алгоритмов. – М.: Мир. 1979. – 536 с.
7 Э. Рейнгольд, Ю. Нивергельт, Н. Део. Комбинаторные алгоритмы. Теория и практика. – М.: Мир. 1980. – 476 с.
8 А. Ахо, Дж.Хопкрофт, Дж. Ульман. Структуры данных и алгоритмы. – М.: Вильямс. 2000.
9 Искусственный интеллект. – В 3-х кн. Кн. 2. Модели и методы: Справочник / Под ред. Д.А. Поспелова. – М. : Радио и связь, 1990. – 304 с.
|
Зміст |
|
|
Вступ |
3 |
|
1 Рекурсивні функції |
4 |
|
1.1 Теоретичні поняття і визначення………………………… |
4 |
|
1.2 Лабораторнаробота№1…………………………………… |
12 |
|
1.3 Контрольні питання………………………………... |
14 |
|
2 Нормальні алгоритми Маркова |
14 |
|
2.1 Теоретичні поняття і визначення……… |
14 |
|
2.2 Лабороторна робота №2……………………………………... |
20 |
|
2.3 Контрольні питання……………………………….. |
22 |
|
3 Машина Тьюрінга …………………. |
23 |
|
3.1 Теоретичні поняття і визначення |
23 |
|
3.2 Лабороторна робота №3……………………………….. |
29 |
|
3.3 Контрольні питання |
32 |
|
4 Еквівалентність алгоритмічних систем |
32 |
|
5 Математична логіка. Логіка висловлень |
33 |
|
5.1 Теоретичні поняття і визначення |
33 |
|
5.2 Лабораторна робота №4 |
39 |
|
5.3 Контрольні питання |
41 |
|
6 Математична логіка. Логіка предикатів 1-го порядку |
42 |
|
6.1 Теоретичні поняття і визначення |
42 |
|
6.2 Лабораторна робота №5 |
51 |
|
6.3 Контрольні питання |
52 |
|
Додаток 1. Тотожно істинні формули логіки висловлень |
54 |
|
Література |
55 |