Математическая логика и теория алгоритмов

список ЛИТЕРАТУРЫ Акимов О. Е. Дискретная математика. Логика, группы, гра­ фы. М.: А39 Лаборатория Базовых Знаний, 2001. 352 с. 2.^X0 А.,Х о т р о ф т Дж., УльманДж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. 536 с. 3. Б а т ы р ш и н И. 3. Основные операции нечеткой логики и их обобщения. Казань: Отечество, 2001, 102 с. 4. БраткоИ. Программирование на языке ПРОЛОГ для искус­ ственного интеллекта / Пер. с англ. М.: Мир, 1990. 560 с. 5. Гаврилов Г . П., Сапоженко А. А. Сборник задач по дискрет­ ной математике. М.; Наука, 1977. 368 с. 6. Г е т м а н о в а А .Д . Учебник по логике. 2-е изд. М.: ВЛАДОС, 1995, 186 с. 1.ГильбертД., БернайсП. Основания математики. Логические исчисления и формализация арифметики / Пер. с нем. М.: Наука, 1979. 560 с. 8.Г и н д и к и н С.Г . Алгебра логики в задачах. М.: Наука, 1975. 288 с. 9, Г о р б а т о в В.А . Фундаментальные основы дискретной мате­ матики. Информационная математика: Учебник для втузов. М.: Наука, 2000. 544с. 10. Г э р и М.,ДжонсонД . Вычислительные машины и трудноре- шаемые задачи / Пер. с англ. М.: Мир, 1982. 416 с. 11. Е ф и м о в Н .В. Высшая геометрия. М.: Физматлит, 1961. 580 с. 12. Заде Л. Понятие лингвистической переменной и его приме­ нение к принятию приближенных решений / Пер. с англ. М.: Мир, 1976. 168с. 331