Дискретная математика. Рабочая программа дисциплины. Файзрахманов Р.А. - 6 стр.

                                                                                          6

8. Основы кибернетики/ Под ред. К.А. Пупкова. - М., 1974.
9. Москинова Г.И. Дискретная математика. Математика для менеджера в примерах и
    упражнениях. - М., 2000.
10. Яблонский С.В., Введение в дискретную математику. - М., 1986.
11. Эдельман С.Л. Математическая логика. - М., 1975.
12. Принцип резолюций. Методическая разработка каф. АСУ/ Соловьев А.С. - Пермь: ПГТУ
13. Робототехника и гибкие автоматизированные производства. В 9-ти кн. Кн. 6. Техническая
    имитация интеллекта/ В.М. Назаретов, Д.П. Ким; Под ред. И.М. Макарова. - М.: Высш. шк.,
    1986.
14. Лавров И.А., Максимова Л.Л. Задачи по теории множеств математической логике и теории
    алгоритмов. - М.: Наука, 1975.
16. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. - М.: Наука,
    1977.
17. Коршунов Ю.М. Математические основы кибернетики. - М., 1987.
18. Рыжиков Ю.И. Информатика. Лекции и практикум. - СПб: Корона принт, 2000.
19. Парницикий Г. Основы статистической информатики/ Пер. с венг. Ю.А. Данилова. - М.:
    Финансы и статистика, 1981.
20. Виленкин Н.Я. Индукция. Комбинаторика. Пособие для учителей. - М.: Просвещение, 1976.
21. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера-М.,
    Энергоатомиздат, 1998. -480 с.
22. Кук Д., Бейз Г. Компьютерная математика.-М., Наука, 1990. -384 с.
23. Клини С.К. Математическая логика.-М., Мир, 1973. -480 с.
24. Роберт Р. Столл Логика. Множества. Аксиоматические теории. -М., Просвещение, 1968. -
    231 с.
25. Математическая логика в программировании. Сборник статей. Под ред. М.В. Захарьящева и
    Ю.И. Янова -М., Мир, 1991. -408 с.
26. Грис Д. Наука программирования. -М., Мир, 1984. -416 с.
27. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М., Мир,
    1978. -544 с.
28. Льюис Ф., Розенкранц Д., Стринз Р. Теоретические основы проектирования компиляторов. -
    М., Мир, 1979. -654 с. Р. Ковальски
29. Логика в решении проблем. -М., Наука, 1990. -280 с.
30. Уилсон Р. Введение в теорию графов. -М., Мир, 1977. -208 с.
31. Хендерсон П. Функциональное программирование. Применение и реализация. -М., Мир,
    1983. -349 с.
32. Хоар Ч. Взаимодействующие последовательные процессы. -М., Мир, 1989. -264 с.
33. Вегнер П. Программирование на языке Ада. -М., Мир, 1983. -240 с.
34. Дейкстра Э. Дисциплина программирования.-М., Мир, 1978. -276 с.
35. Клоксин У., Мелиш К. Программирование на языке ПРОЛОГ. -М., Мир, 1987. -336 с.