Перелік посилань

1. Лавров С.С. Программирование. Математические основы, средства, теория. – СПб.: БХВ-Петербург, 2001. – 320 с.

2. Кук Д., Бейз Г. Компьютерная математика. - М.: Наука, 1990. – 384 с.

3. Минский М. Вычисления и автоматы. – М.: Мир, 1971.- 366 с.

4. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов.- М.: Наука, 1975.- 240с.

5. Маслов Ю.С. Теория дедуктивных систем и ее применения. –М.: радио и связь, 1986. – 136 с.

6. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем: Пер. с англ. / Под ред. С.Ю. Маслова.- М.: Наука. Главная редакция физико-математической литературы, 1983.- 360 с.

7. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера.- – М.: Энергоатомиздат, 1988.- 480 с.

8. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.- 320 с.

9. Капитонова Ю.В. и др. Лекции по дискретной математике. – СПб.: БХВ-Петербург, 2004. – 624 с.

10. Смальян Р. Теория формальных систем. – М.: Наука, 1981.- 208 с.

11. Бондарев В.Н., Аде Ф.Г. Искусственный интеллект: Учеб. Пособие для вузов.- Севастополь: Изд-во СевНТУ, 2002. – 615 с.

12. Лорьер Ж.-Л. Системы искусственного интеллекта: перю с франц. – М.: Мир, 1991. – 568 с.

13. Гладкий А.В. Формальные грамматики и языки.- М.: Наука, 1973.- 368 с.

14. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. Синтаксаический анализ. - М.: Мир, 1978,- 612 с.

15. Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вичислений, 2-е изд.: Пер. с англ. – М.: Издательский дом «Вильямс», 2002.- 528 с.

16. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, программирование.- Киев: Наукова думка, 1978.- 318с.

17. Кузин Л.Т. Основы кибернетики: В 2-х т. Т. 2. Основы кибернетических моделей. Учеб пособие для вузов.- М.: Энергия, 1979.- 584 с.

18. Алферова З.В. Теория алгоритмов. – М.: Статистика, 1973. – 164 с.

19. Мартыненко Б.К. Языки и трансляции: Учеб. Пособие – СПб.: Издательство С.-петербургского университета, 2002. – 229 с.

20. Рябова Н.В. Конспект лекцій з курсу „Теорія алгоритмів та формальних систем” для студентів спеціальності 8.080404 – Інтелектуальні системи прийняття рішень.– Харків, ХНУРЕ, 2004. – 128с. (електронний варіант в ЕБК)

21. Методичні вказівки до організації самостійної роботи з вивчення курсу „Теорія алгоритмів та формальних систем” для студентів спеціальності 8.080404 – Інтелектуальні системи прийняття рішень.. / Упорядник: Рябова Н.В. – Харків, ХНУРЕ, 2004 р., 16 с. (електронний варіант в ЕБК).

22.