МІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ

Тернопільський національний економічний університет кафедра комп’ютерної інженерії

МЕТОДИЧНІ ВКАЗІВКИ

До виконання практичних робіт з дисципліни

«Дискретна математика

Тернопіль – 2013

АНОТАЦІЯ

Методичні вказівки відповідають програмі курсу “Дискретна математика” для студентів спеціальності «Комп’ютерні мережі та системи» Розглядаються наступні поняття: множини, відношення, функції, графи. Ці поняття ілюструються численними прикладами. Метою методичних вказівок є допомога студентам при виконанні практичних робіт.

Автори: Якименко І.З., Касянчук М.М., Дехтяр І.В.

Рецензент:____________________________________ О.М. Петров

Розглянуто й схвалено на засіданні кафедри КІ

"__"____________2013 р.

Зав. кафедрою __________О.М. Березький

ЗМІСТ

Введення

Тема 1. Множини

1.1. Основні поняття

1.2. Операції над множинами

1.3. Геометричне моделювання множин. Діаграми Ейлера - Венна.

1.4. Алгебра множин. Основні тотожності алгебри множин

1.5. Еквівалентність множин

1.6. Рахункові множини

1.7. Множини потужності континуума

Контрольні питання до теми 1

Тема 2. Відношення. Функції.

2.1. Відношення. Основні поняття й визначення

2.2. Операції над відносинами

2.3. Властивості відносин

2.4. Функції. Основні поняття й визначення

Контрольні питання до теми 2

Тема 3. Графи.

3.1. Основні характеристики графів

3.2. Матричні способи Задача графів

3.3. Ізоморфізм графів

3.4. Маршрути, цикли в неорієнтованому графі

3.5. Шляхи, контури в орієнтованому графі

3.6. Зв’язність графа

3.7. Екстремальні шляхи в зважених орієнтованих графах

3.8. Алгоритм Форда - Беллмана знаходження мінімального шляху

3.9. Алгоритм знаходження максимального шляху

3.10. Дерева. Основні визначення

3.11. Мінімальні остовные дерева зважених графів

Контрольні питання до теми 3

Тема 4. Булеві функції

4.1. Визначення булевої функції

4.2. Формули логіки булевих функцій

4.3. Рівносильні перетворення формул

4.4. Подвійність. Принцип подвійності.

4.5. Булева алгебра (алгебра логіки). Повні системи булевих функцій

4.6. Нормальні форми

4.7. Розкладання булевої функції по змінним

4.8. Мінімізація формул булевих функцій у класі диз'юнктивних

нормальних форм

4.9. Застосування алгебри булевих функцій до релейно-контактних схем

Контрольні питання до теми 4

Тема 5. Нечіткі множини.

5.1. Операції над нечіткими множинами

5.2. Нечіткі відношення

5.3. Нечіткий логічний висновок

5.4. Методи приведення до чіткості

Контрольні запитання до теми 5

Відповіді на контрольні питання

Вказівки до виконання лабораторних робіт

Питання до екзамену з дисципліни «Дискретна математика»

Список літератури

Короткі відомості про математиків