- •Дискретная математика
- •Оренбург 2012
- •Содержание
- •Введение
- •1.4 Варианты заданий
- •1.5 Вопросы к защите практической работы № 1
- •2.3.2 Нормальные формы
- •Варианты заданий
- •Определение. Совершенной дизъюнктивной формулой формулы алгебры высказываний (сднф) называется днф, в которой:
- •Различны все члены дизъюнкции;
- •Варианты заданий
- •Варианты заданий
- •Варианты заданий
- •6.3.2 Способы задания множеств
- •6.3.3 Теоретико-множественные операции
- •Свойства теоретико-множественных операций
- •Варианты заданий
- •6.5 Вопросы к защите практической работы № 6
- •Логические операции над предикатами.
- •Варианты заданий
- •7.5 Вопросы к защите практической работы № 7
- •Квантор всеобщности
- •Квантор существования
- •Отрицание предложений с кванторами
- •Варианты заданий
- •8.5 Вопросы к защите практической работы № 8
- •Варианты заданий
- •Вопросы к защите практической работы № 9
- •Список используемых источников
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Оренбургский государственный университет»
КОЛЛЕДЖ ЭЛЕКТРОНИКИ И БИЗНЕСА
Цикловая комиссия физико-математических дисциплин
С.А. КУРМАНОВА
Дискретная математика
МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ПРАКТИЧЕСКИМ РАБОТАМ
Рекомендовано к изданию Редакционно-издательским советом
Федерального государственного бюджетного образовательного
учреждения высшего профессионального образования
«Оренбургский государственный университет»
Оренбург 2012
УДК
ББК
Рецензент
Заведующий цикловой комиссией физико-математических дисциплин КЭиБ ОГУ Т.В. Атяскина
Курманова С.А.
Дискретная математика [Текст]: методические указания к практическим работам. / С.А. Курманова. – Оренбург: Колледж электроники и бизнеса ОГУ, 2012. - 120 с.
Методические указания предназначены для выполнения практических работ, обеспечивающих учебный процесс по дисциплине «Дискретная математика» в колледже электроники и бизнеса ОГУ для студентов 2 курса в 4 семестре специальности 230113 «Компьютерные системы и комплексы» очной формы обучения.
Методические указания составлены с учетом Государственного образовательного стандарта среднего профессионального образования по направлению подготовки дипломированных специалистов - утвержденного 23.06.2010 Министерством Образования и науки Российской Федерации.
УДК
ББК
ã Курманова С.А., 2012
ã
ГОУ ОГУ, 2012
Содержание
Введение………………………………………………………………………..... |
5 |
1 Практическая работа № 1 Логические операции, формулы логики……….. |
6 |
1.1 Ход работы…………………………………………………………………… |
6 |
1.2 Содержание отчета…………………………………………………………... |
6 |
1.3 Методические указания к практической работе №1………………………. |
6 |
1.4 Варианты заданий ….………………………………………………..………. |
12 |
1.5 Вопросы к защите практической работы № 1..…………………………..... |
19 |
2 Практическая работа № 2 Равносильность формул логики высказываний. Дизъюнктивная нормальная форма и конъюнктивная нормальная форма...... |
19 |
2.1 Ход работы…………………………………………………………………… |
19 |
2.2 Содержание отчета………………………………………………………….. |
20 |
2.3 Методические указания к практической работе №2………………………. |
20 |
2.4 Варианты заданий ….………………………………………………..………. |
24 |
2.5 Вопросы к защите практической работы № 2..…………………………..... |
29 |
3 Практическая работа № 3 Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма.………….……….. |
30 |
3.1 Ход работы…………………………………………………………………... |
30 |
3.2 Содержание отчета………………………………………………………..… |
30 |
3.3 Методические указания к практической работе №3…………………..….. |
30 |
3.4 Варианты заданий ….………………………………………………….…….. |
36 |
3.5 Вопросы к защите практической работы № 3..……………………..……... |
43 |
4 Практическая работа № 4 Представление булевой функции в виде СДНФ, СКНФ. Многочлен Жигалкина……..……………..…………………… |
43 |
4.1 Ход работы…………………………………………………………………… |
44 |
4.2 Содержание отчета………………………………………………………….. |
44 |
4.3 Методические указания к практической работе №4………………………. |
44 |
4.4 Варианты заданий ….………………………………………………..………. |
49 |
4.5 Вопросы к защите практической работы № 4..…………………………..... |
52 |
5.Практическая работа № 5 Полнота множества функций. Важнейшие классы функций…..……………………………………………………………… |
52 |
5.1 Ход работы…………………………………………………………………… |
53 |
5.2 Содержание отчета………………………………………………………….. |
53 |
5.3 Методические указания к практической работе №5………………………. |
53 |
5.4 Варианты заданий ….………………………………………………..………. |
59 |
5.5 Вопросы к защите практической работы № 5..…………………………..... |
62 |
6. Практическая работа № 6 Множества. Теоретико-множественные операции их связь с логическими операциями………………………………… |
63 |
6.1 Ход работы…………………………………………………………………… |
63 |
6.2 Содержание отчета…………………………………………………………... |
63 |
6.3 Методические указания к практической работе №6………………………. |
63 |
6.4 Варианты заданий ….………………………………………………..………. |
69 |
6.5 Вопросы к защите практической работы № 6..…………………………..... |
78 |
7 Практическая работа №7 Предикаты. Операции над предикатами …….… |
79 |
7.1 Ход работы…………………………………………………………………… |
79 |
7.2 Содержание отчета…………………………………………………………... |
79 |
7.3 Методические указания к практической работе №7………………………. |
79 |
7.4 Варианты заданий ….………………………………………………..………. |
85 |
7.5 Вопросы к защите практической работы № 7..…………………………..... |
94 |
8 Практическая работа №8 Высказывания с кванторами. Построение отрицаний высказывания с кванторами………………………………………… |
94 |
8.1 Ход работы…………………………………………………………………… |
94 |
8.2 Содержание отчета………………………………………………………….. |
94 |
8.3 Методические указания к практической работе №8………………………. |
95 |
8.4 Варианты заданий ….………………………………………………..………. |
99 |
8.5 Вопросы к защите практической работы № 8..…………………………..... |
109 |
9 Практическая работа №9 Бинарные отношения…………………………….. |
110 |
9.1 Ход работы…………………………………………………………………… |
110 |
9.2 Содержание отчета…………………………………………………………... |
110 |
9.3 Методические указания к практической работе №9………………………. |
111 |
9.4 Варианты заданий ….………………………………………………..………. |
114 |
9.5 Вопросы к защите практической работы № 9..…………………………..... |
119 |
Список используемых источников……………………………………………... |
120 |