Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дискретка / Книги / Галиев Ш.И. Математическая логика и теория алгоритмов (2002).pdf
Скачиваний:
2274
Добавлен:
25.02.2016
Размер:
7.49 Mб
Скачать

237

Никто не обнимет необъятного Козьма Прутков

Одна услада в жизни учиться! Петрарка

ЛИТЕРАТУРА

1.Акимов О. Е. Дискретная математика. Логика, группы, графы. -М.: А39 Лаборатория Базовых Знаний, 2001 –352 с.

2.Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. -М.: Мир, 1979. –536 с.

3.Батыршин И. З. Основные операции нечёткой логики и их обобщения. - Казань: Отечество, 2001. –102 с.

4.Братко И. Программирование на языке ПРОЛОГ для искусственного интеллекта. Пер. с англ. -М.: Мир, 1990. –560 с.

5.Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной математике. -М.: Наука, 1977. –368 с.

6.Гетманова А. Д. Учебник по логике. 2-ое издание. -М.: ВЛАДОС, 1995. –186 с.

7.Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Пер. с нем. -М.: Наука, 1979. –560 с.

8.Гиндикин С. Г. Алгебра логики в задачах. М.: Наука, 1975. –288 с.

9.Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика: Учебник для втузов. -М.: Наука.

Физматлит, 2000. -544с.

10.Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. Пер. с англ. -М.: Мир, 1982. –416 с.

11.Ефимов Н. В. Высшая геометрия. -М.: Физматлит, 1961. –580 с.

12.Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. Пер. с англ. -М.: Мир, 1976. –168с.

13.Ивлев Ю. В. Модальная логика. -М.: Издательство МГУ, 1991. –224с.

14.Клини С. Математическая логика. Пер. с англ. -М.: Мир, 1973. –480с.

15.Klir G. J. and Folger T. A. Fuzzy Sets, Uncertainty and Information. Prentice Hall PTR, Englewood Cliffs, New Jersey, 1988 –356 p.

16.Кофман А. Введение в теорию нечётких множеств. Пер. с франц. -М.: Радио и связь, 1982. -432с.

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

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

19.Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. Тейз А., Грибомон П., Луи Д. И др. -М.: Мир, 1990. -432с.

238

20.Лорьер Ж. –Л. Системы искусственного интеллекта. Пер. с франц. -

М.: Мир, 1991. –568 с.

21.Мендельсон Э. Введение в математическую логику. Пер. с англ. -М.:

Наука, 1984. –320 с.

22.Нефедов В. Н., Осипова В. А. Курс дискретной математики. -М.: Издательство МАИ, 1992. -264 с.

23.Нечеткие множества в моделях управления и искусственного интеллекта. А. Н. Аверкин, Н. З. Батыршин, А. Ф. Блишун и др. Под ред. Д. А. Поспелова. -М.: Наука, 1986. –312с.

24.Новиков П.С. Элементы математической логики. -М.: Наука, 1973. - 400с.

25.Новиков Ф. А. Дискретная математика для программистов. –СПб.:

Питер., 2001. –304 с.

26.Попадимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. Пер. с англ. -М.: Мир, 1985. –512 с.

27.Проблемы Гильберта. Сборник под общей редакцией П. С. Александрова. -М.: Наука, 1969. –240 с.

28.Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. Пер. с англ. -М.: Мир, 1980. – 478 с.

29.Самсонов Б. Б., Плохов Е. М. и Филоненков А. И. Компъютерная математика (основание информатики). -Ростов-на-Дону: «Феникс», 2002. –512с .

30.Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. Пер. с англ. -М.: Наука, 1983. -360 с.

31.Яблонский С. В. Введение в дискретную математику. -М.: Высшая школа, 2001. -384с.