Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

20. Мендельсон Э. Введение в математическую логику. Пер. с англ. -М.: Наука, 1984. -320 с. 20. Метадикес Г., А. Нероуд. Принципы логики и логического программи­ рования. Пер. с анг. Изд-во «Факториал» М. 1998. с. 21. Пепейвода П.П. Прикладная логика. Учебное пособие. 2-ое изд. Ново­ сибирск. Изд-во Новосиб. университета, 2000. -494 с. 22. Новиков П.С. Элементы математической логики. -М.: Наука, 1973. - 400с. 23. Новиков Ф. А. Дискретная математика для программистов. -СПб.: Пи­ тер., 2001. -304 с. 24. Перфильева И. Г. Приложения теории нечетких множеств. Итоги науки и техники. Теория вероятностей. Математическая статистика, теоретическая кибернетика. Т. 29 М.: 1990. с. 83-151. 25. Проблемы Гильберта. Сборник под общей редакцией П. С. Александ­ рова. -М.: Наука, 1969. -240 с. 26. Самсонов Б. Б., Плохов Е. М. и Филоненков А. И. Компьютерная мате­ матика (основание информатики). -Ростов-на-Дону: «Феникс», 2002. -512с . 27. Судоплатов С.В., Овчинникова Е. В. Математическая логика и теория алгоритмов. Учебник. Москва, Новосибирск. 2004. -224 с. 28. Тейз А., Грибомон П., Луи Д. И др. Логический подход к искусствен­ ному интеллекту: от классической логики к логическому программированию: Пер. с франц. -М.: Мир, 1990. -432с. 29. Тейз А., Грибомон П., Луи Д. И др. Логический подход к искусствен­ ному интеллекту: от модальной логики к логике баз данных. Пер. с франц. -М.: Мир, 1998. -494с. 30. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М.,Физматгиз, 1987. -288 с. 31. Чень Ч., Ли Р. Математическая логика и автоматическое доказательст­ во теорем. Пер. с англ. -М.: Наука, 1983. -360 с. 32. Шапорев С.Д. Математическая логика. Курс лекции и практических заня­ тий. Учебное пособие. Санкт-Петербург. Изд-во БХВ-Петербург. 2005. -416 с. 33. Gallier J. Н. Logic for Computer Science. Foundation of Automatic Theo ­ rem Proving. Harper and Row. N.Y. 2003. -532 p. 34. Hein J. L. Prolog Experiments in Discrete Mathematics, Logic and Comput- ability. Portland State University. 2005. -160 p. 35. Klir G. J. and Folger T. A. Fuzzy Sets, Uncertainty and Information. Pren­ tice Hall PTR, Englewood Cliffs, New Jersey. 1988. -356 p. 36. Li W. Mathematical Logic. Foundations for Information Science. Birk- hauser. 2007. -260 p. 37. Mordechai Ben-Ari. Mathematical Logic for Computer Science. Second Edi­ tion. Springer, 2001. -302 p. 259