Вид документа : Однотомное издание Шифр издания : 55106 Заглавие : Математическая логика и теория алгоритмов : Методические указания к самостоятельной работе Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2014 Колич.характеристики :25 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. Цена : Б.ц. УДК : 519 ББК : 22.1 Ключевые слова (''Своб.индексиров.''): логика--математика--математическая логика--математическое моделирование--теория алгоритмов Аннотация: Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов направлений 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление» по дисциплинам «Дискретная математика», «Математическая логика и теория алгоритмов» и другим, связанным с математической логикой и теорией алгоритмов. Приведены краткие теоретические сведения по математической логике. Даны темы лабораторных работ. Методические указания содержат задания по традиционным разделам курса математической логики и теории алгоритмов. Доп.точки доступа: Седых, И. А. \сост.\