Личный кабинет
Подробное описание документа
Математическая логика и теория алгоритмов : методические указания к самостоятельной работе / сост. Седых И. А. - Липецкий государственный технический университет, ЭБС АСВ, 2014.
Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов направлений 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление» по дисциплинам «Дискретная математика», «Математическая логика и теория алгоритмов» и другим, связанным с математической логикой и теорией алгоритмов. Приведены краткие теоретические сведения по математической логике. Даны темы лабораторных работ. Методические указания содержат задания по традиционным разделам курса математической логики и теории алгоритмов.
