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

М.: Московский государственный университет технологий и управления (МГУТУ), 2005. - 8 с.Методические рекомендации и контрольные задания для студентов специальности 230102 (2202) всех форм обучения.
Процесс изучения предмета «Математическая логика и теории алгоритмов» состоит из следующих этапов:
проработка установочных и обзорных лекций;
самостоятельная работа над учебниками и учебными пособиями;
систематическая работа над задачами в коде практических занятий;
самостоятельное решение задач из учебных пособий и задачников;
выполнение контрольных работ;
сдача зачета.
Предложенные контрольные задания являются приложением к учебно-практическому пособию по «Математической логике и теории алгоритмов» для студентов специальности 2202 (МГУТУ). Задачи распределяются по вариантам.