Введение. Гоувпо «воронежский государственный

Воронеж 2008

ГОУВПО «Воронежский государственный

технический университет»

Л.В. Холопкина

МАТЕМАТИЧЕСКАЯ ЛОГИКА

И ТЕОРИЯ АЛГОРИТМОВ: ПРАКТИКУМ

Утверждено Редакционно-издательским советом университета в качестве учебного пособия

Воронеж 2008

УДК 510.6(075.8)

Холопкина Л.В. Математическая логика и теория алгоритмов: практикум: учеб. пособие/Л.В. Холопкина. Воронеж: ГОУВПО «Воронежский государственный технический университет», 2008. 162 с.

В учебном пособии приведены теоретические сведения по основным разделам курса «Математическая логика и теория алгоритмов», даны подробные примеры решения типовых задач и представлены задания для самостоятельных и контрольных работ.

Издание соответствует требованиям Государственного образовательного стандарта высшего профессионального образования по направлению 230100 ”Информатика и вычислительная техника”, специальности 230101 “Вычислительные машины, комплексы, системы и сети”, дисциплине “Математическая логика и теория алгоритмов”. Предназначено для студентов заочной и заочной сокращенной форм обучения.

Учебное пособие подготовлено в электронном видев текстовом редакторе MS Word XP и содержится в файле Сети.rar.

Табл. 4. Ил. 5. Библиогр.: 14 назв.

Научный редактор д-р техн. наук, проф. С.Л. Подвальный

Рецензенты: кафедра естественно-научных дисциплин

Международного института компьютерных

технологий (зав. кафедрой д-р техн. наук,

проф. В.И. Митрохин);

д-р физ.-мат. наук проф. Т.М. Леденева

© Холопкина Л.В., 2008

© Оформление. ГОУВПО «Воронежский»

государственный технический универ-

ситет», 2008

Учебное пособие предназначено для студентов, обучающихся по направлению “Информатика и вычислительная техника” и смежным направлениям. Пособие является дополнением к стандартным учебникам по математической логике и теории алгоритмов для технических вузов: Л.М. Лихтарникова “Математическая логика и теория алгоритмов”, В.И. Игошина ”Математическая логика и теория алгоритмов” и В.И. Игошина “Задачи и упражнения по математической логике и теории алгоритмов”.

Данное издание позволит студентам познакомиться с основными понятиями и методами математической логики, выявить взаимосвязь математической логики с математической наукой и получить представление об областях использования математической логики: проектирование электронно-вычислительных машин, программного обеспечения к ним, системы искусственного интеллекта и различные области информатики.

Большое внимание уделено решению задач. Теоретическое изложение каждой темы завершается подробным разбором нескольких типовых задач. В пособии приведено большое количество задач для самостоятельного решения, что позволяет обеспечить индивидуальный подход к обучению каждого студента.

Дата добавления: 2015-06-27