292 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Липецкий государственный технический университет» Кафедра высшей математики МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Методические указания к самостоятельной работе Составитель: И.А. Седых Липецк Липецкий государственный технический университет 2014 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Липецкий государственный технический университет» Кафедра высшей математики МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Методические указания к самостоятельной работе Составитель: И.А. Седых Липецк Липецкий государственный технический университет 2014 3 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Липецкий государственный технический университет» Кафедра высшей математики МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Методические указания к самостоятельной работе Составитель: ______________ И.А. Седых Зав. кафедрой высшей математики ______________А.М. Шмырин Липецк Липецкий государственный технический университет 2014 4 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Липецкий государственный технический университет» Кафедра высшей математики МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Методические указания к самостоятельной работе Составитель: И.А. Седых Утверждаю к печати Объем 1,6 п.л. <...> А.М. Шмырин С 285 Седых, И.А. Математическая логика и теория алгоритмов [Текст]: метод. указ. к самостоятельной работе. <...> Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов <...>
Математическая_логика_и_теория_алгоритмов_.pdf
УДК 519(07)
С 285
Рецензент д-р техн. наук, проф. А.М. Шмырин
С 285 Седых, И.А. Математическая логика и теория алгоритмов [Текст]: метод.
указ. к самостоятельной работе./ И.А. Седых. – Липецк: Изд-во Липецкого
государственного технического университета, 2014. – 25 с.
Методические указания составлены в соответствии с ФГОС-3 и
предназначены для студентов направлений 010800.62 – «Механика и
математическое моделирование», 220100.62 – «Системный анализ и
управление» по дисциплинам «Дискретная математика», «Математическая
логика и теория алгоритмов» и другим, связанным с математической логикой и
теорией алгоритмов. Приведены краткие теоретические сведения по
математической логике. Даны темы лабораторных работ. Методические
указания содержат задания по традиционным разделам курса математической
логики и теории алгоритмов.
Библиогр.: 5 назв.
© ФГБОУ ВПО «Липецкий
государственный технический
университет», 2014
6
Стр.5