Министерство образования Республики Беларусь

Учреждение образования

«Гомельский государственный университет

имени Франциска Скорины»

В.Н. СЕМЕНЧУК

ДИСКРЕТНАЯ МАТЕМАТИКА

ПРАКТИЧЕСКОЕ ПОСОБИЕ

Гомель 2007

Министерство образования Республики Беларусь

Учреждение образования

«Гомельский государственный университет

имени Франциска Скорины»

В.Н. СЕМЕНЧУК

ДИСКРЕТНАЯ МАТЕМАТИКА

ПРАКТИЧЕСКОЕ ПОСОБИЕ

ПО ВЫПОЛНЕНИЮ ЛАБОРАТОРНЫХ РАБОТ для студентов 1 курса специальности 1–31 03 03 – «Прикладная математика»

Гомель 2007

УДК 519.14(075.8)

ББК 22.174 я73

С 305

Рецензенты:

А.Н.Скиба, профессор, доктор физико-математических наук;

кафедра высшей математики учреждения образования

«Гомельский государственный университет имени

Франциска Скорины»

Рекомендовано к изданию научно-методическим

советом учреждения образования «Гомельский

государственный университет имени Франциска Скорины»

С 305

Семенчук, В.Н. Дискретная математика [Текст]: практ. пособ. для студентов специальности 1-31 03 03 «Прикладная математика» / В.Н. Семенчук; М-во образов. РБ, Гомельский государственный университет им. Ф. Скорины.– Гомель: УО «ГГУ им. Ф. Скорины», 2007.– с.

ISBN

Практическое пособие ставит своей целью оказание помощи студентам в усвоении основных методов дискретной математики и их применения при решении практических задач. Данное пособие может быть использовано для самостоятельной работы студентов и предназначено для студентов математического факультета специальности «Прикладная математика».

УДК 519.14(075.8)

ББК 22.174 я73

ISBN © В.Н. Семенчук, 2007

© УО «ГГУ им. Ф.Скорины», 2007

СОДЕРЖАНИЕ

Введение ……………………………………………………………..	4
Тема 1 Булевы функции………………………..…………………
Тема 2 Нормальные формы булевых функций …………………
Тема 3 Минимизация булевых функций……………………..….
Тема 4 Контактные и логические схемы………………………...
Тема 5 Полнота и замкнутость ……………………..……………
Тема 6 Алгебра логики предикатов ………………………….......
Тема 7 Конечные автоматы………………………………………
Тема 8 Рекуррентные функции …………………………………..
Тема 9 Машины Тьюринга………………………………………..

Введение

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

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