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

Никто не обнимет необъятного Козьма Прутков СПИСОК ЛИТЕРАТУРЫ 1. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислитель­ ных алгоритмов. -М.: Мир, 1979. 536 с. 2. Батыршин И. 3. Основные операции нечёткой логики и их обобщения. Казань: Отечество, 2001. 102 с. 3. Братко И. Программирование на языке ПРОЛОГ для искусственного ин­ теллекта. Пер. с англ. М.: Мир, 1990. 560 с. 4. Верещагин П. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МИПМО, 2002, 2-ое издание, стереотипное. 288 с. 5. Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной матема­ тике. М.: Паука, 1977. 368 с. 6. Галиев Ш. И. Математическая логика и теория алгоритмов. Учеб. посо­ бие. Казань: Изд-во КГТУ им. А. П. Туполева, 2004. 334 с. 7. Гетманова А. Д. Учебник по логике. 2-ое издание. -М.: ВЛАДОС, 1995. - 186 с. 8. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Пер. с нем. -М.: Паука, 1979. -560 с. 9. Гиндикин С. Г. Алгебра логики в задачах. М.: Паука, 1975. -288 с. 10. Гранченков Д.В., Потоцкий С.И. Математическая логика и теория ал­ горитмов для программистов: учебное пособие. М.: КПОРУС, 2010. -208 с. 11. Гуц А.К. Математическая логика и теория алгоритмов. Омск. Изд-во Наследие. Диалог-Сибирь. 2003. -108 с. 12. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые за­ дачи. Пер. с англ. -М.: Мир, 1982. -416 с. 13. Ефимов П. В. Высшая геометрия. -М.: Физматлит, 1961. -580 с. 14. Заде Л. Понятие лингвистической переменной и его применение к при­ нятию приближенных решений. Пер. с англ. -М.: Мир, 1976. -168с. 15. Ивлев Ю. В. Модальная логика. -М.: Издательство МГУ, 1991. -224с. 16. Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. Пер. с англ. М.: Изд-во МЦПМО, 2002. 416 с. 17. Клини С. Математическая логика. Пер. с англ. -М.: Мир, 1973. -480с. 18. Кормен Т., Лейзерсон Ч., Ривет Р. Алгоритмы: построение и анализ. - М.: МЦПМО, 1999. -960с. 19. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математиче­ ской логике и теории алгоритмов. -М.: Паука, 1975. -240с. 258