Учебное пособие 1194
.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