Методические указания к практическим занятиям по математической логике и теории алгоритмов

Литература 26 1. Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной математике. -М.: Наука, 1977. -368 с. 2. Галиев Ш. И. Математическая логика и теория алгоритмов. Учебное пособие. Казань: Изд-во КГТУ им. А. Н. Туполева, 2014. -334 с. 3. Гиндикин С. Г. Алгебра логики в задачах. М.: Наука, 1975. -288 с. 4. Клини С. Математическая логика. Hep. с англ. -М.: Мир, 1973. -480с. 5. Лавров Н.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. -М.: Наука, 1975. -240с. 6. Мендельсон Э. Введение в математическую логику. Hep. с англ. -М.: Наука, 1984. -320 с. 7. Новиков Ф. А. Дискретная математика для программистов. -СНб.: Нитер., 2008. -304 с. 8. Судоплатов С.В., Овчинникова Е. В. Математическая логика и теория алгоритмов. Учебник. Москва, Новосибирск. 2004. -224 с. 9. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. Hep. с англ. -М.: Наука, 1983. -360 с. 10. Шапорев С.Д. Математическая логика. Курс лекции и практических занятий. Учебное пособие. Санкт-Нетербург. Нзд-во БХВ-Нетербург. 2005.-416 с.