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