Методические указания к выполнению лабораторных работ по дисциплине «Дискретная математика» для студентов направления подготовки бакалавров. Собенина О.В., Пак А.А
.pdf
6.Дать определение пропозициональной формулы.
7.Дать определение булевой функции.
8.Какие способы задания булевых функций существуют?
9.Дать определение таблицы истинности.
10.Сколько существует различных булевых функций от n переменных?
11.Дать определение импликации двух высказываний.
12.Дать определение эквиваленции двух высказываний.
ПРАКТИЧЕСКАЯ ЧАСТЬ Задание
Написать программу для получения интерпретации формулы.
1. (X Y) (Y Z) (X Z).
2 (X (Y Z)) (Y (X Z)).
3.X Y X X Y .
4.(X Y) (Y Z) (Z X).
5.X X Z X Z X Y .
6.X Y Z X Y Z Y Z .
7.(X Y Z) (X Z).
8.X Y Z X Y X Y .
9.(X Y) (Y Z) (Z X).
10.((X Y) X) (Z (X Y)).
11.(X Y) (X Z).
12.(Y X) Z (X Y).
Порядок выполнения работы
1.Получить задание у преподавателя.
2.Разработать алгоритм решения задачи.
39
3.Реализовать полученный алгоритм.
4.Проанализировать результаты работы алгоритма.
5.Оформить отчет по лабораторной работе.
Содержание отчета
1.Номер и тема лабораторной работы.
2.Цель выполнения работы.
3.Схема алгоритма.
4.Исходные данные и результаты вычислений. Проделать все необходимые преобразования формул вручную и сравнить с результатом программы.
5.Анализ полученных результатов и вывод по работе.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1.Новиков Ф.А. Дискретная математика для программистов /Ф.А. Новиков. СПб.: Питер, 2004. 364 с.
2.Судоплатов С.В. Элементы дискретной математики / С.В. Судоплатов, Е.В. Овчинникова. М.: ИНФРА-М, 2002. 280 с.
3.Судоплатов С.В. Математическая логика и теория алгоритмов: учебник / С.В. Судоплатов, Е.В. Овчинникова. М.:
ИНФРА-М, 2004. – 224 с.
4.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б.Н. Иванов. М.: Лаборатория базовых знаний, 2003. – 288 с.
5.Кузнецов О.П. Дискретная математика для инженера / О.П. Кузнецов. СПб.: Лань, 2005. – 400 с.
6.Собенина О.В. Дискретная математика: учеб. пособие / О.В. Собенина. Воронеж: ВГТУ, 2012.(электронное издание).
40
СОДЕРЖАНИЕ
1.Лабораторная работа № 1. Программная реализа-
ция алгоритмических процедур теории множеств |
1 |
2.Лабораторная работа № 2. Программная реализа-
ция алгоритмических процедур теории отношений |
13 |
3.Лабораторная работа № 3. Представление графов
в ЭВМ |
19 |
4.Лабораторная работа № 4. Программная реализация процедуры составления СКНФ и СДНФ для
ПФ |
31 |
Библиографический список |
40 |
41
МЕТОДИЧЕСКИЕ УКАЗАНИЯ
к выполнению лабораторных работ по дисциплине «Дискретная математика»
для студентов направления подготовки бакалавров 09.03.02 «Информационные системы и технологии» (профиль «Информационные системы и технологии в машиностроении») очно-заочной формы обучения
Составители: Собенина Ольга Валерьевна
Пак Алла Анатольевна
В авторской редакции
Компьютерный набор О.В. Собениной
Подписано к изданию 30.05.2016.
Уч.-изд. л. 2,5 . «С»
ФГБОУ ВО «Воронежский государственный технический университет»
394026 Воронеж, Московский просп., 14
42