Дискретная математика. Файзрахманов Р.А. - 4 стр.

   Наука, 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 с.
36. Задачи по теории множеств: Методическая разработка по курсу Специальная
математика - Пермь: ПГТУ, 2000// www.asu.pstu.ac.ru
37. Задачи по графикам, соответствиям и отношениям: Методическая разработка по
курсу Специальная математика - Пермь: ПГТУ, 2000// www.asu.pstu.ac.ru
38. Задачи по решеткам. Методическая разработка по курсу Специальная математика
- Пермь: ПГТУ, 2000// www.asu.pstu.ac.ru
39. Задачи по специальной математике. Раздел “Задачи по логике высказываний”//
www.asu.pstu.ac.ru
40. Задачи по специальной математике. Раздел “Задачи по логике предикатов”//
www.asu.pstu.ac.ru
41. Задачи по специальной математике. Раздел “Задачи по теории автоматов”//
www.asu.pstu.ac.ru
42. Задачи по специальной математике. Раздел “Задачи по комбинаторике”//
www.asu.pstu.ac.ru
43. Задачи по специальной математике. Раздел “Задачи по теории графов”//
www.asu.pstu.ac.ru
44. Задачи по специальной математике. Раздел “Задачи по принципу резолюций//