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

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