Professional Documents
Culture Documents
Самост.акіт Спецрозділи 23
Самост.акіт Спецрозділи 23
Для спеціальності:
174 Автоматизація, комп’ютерно-
інтегровані технології та робототехніка
Освітньо-професійна програма:
5.174.1 Обслуговування
інтелектуальних інтегрованих систем
Методичний посібник
для самостійної роботи студентів
з навчальної дисципліни «Спеціальні розділи математики»
2023
Автор:– О.С. Ярмола - викладач вищої категорії Харківського
політехнічного фахового коледжу
Теми:
За означенням:
Об’єднанням скінченої кількості множин (більше двох) називається
результат послідовного об’єднання: другої множини з першою, третьої з
об’єднанням перших двох і т.д.
Перерізом множин А і В називається множина, що містить усі ті і
тільки ті елементи, які належать кожній із цих множин одночасно.
Позначається: . Отже, за означенням запишемо:
позначається U \ А або .
Якщо , то різниця множин А і В називається доповненням
Приклад. Відображення
встановлює взаємно однозначну відповідність між елементами множин
Контрольні запитання
1. Що таке множина? Наведіть приклади різних множин.
2. Як можна визначити множину? Які є способи задання множин?
3. В яких випадках можна говорити, що множини А і В є
рівнопотужними?
4. Що ми називаємо взаємно однозначною відповідністю?
мінімізацію функцій.
0 0 1
0 1 1
1 0 0
1 1 1
З таблиці видно, що наборів, на яких функція набуває значення 1 три штуки:
, і , тому
f ( x 1 , x 2 ) =x 1 x 2+ x1 x 2+ x 1 x 2
Приклад ДДНФ:
Конституента 1
x y z f
(мінтерм)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1 x ⋀ y ⋀ z=x y z
1 0 1 1 x ⋀ y ⋀ z=x y z
1 1 0 0
1 1 1 1 xyz
ДДНФ( F)= x y z + x y z + x y z
2)
Конституента 1
x y z f
(мінтерм)
0 0 0 1 x yz
0 0 1 1 x yz
0 1 0 1 x yz
0 1 1 0
1 0 0 0
1 0 1 1 x yz
1 1 0 0
1 1 1 1 x yz
ДДНФ( F)= x y z + x y z + x y z+ x y z+ x y z
3) F= x y z + x y z + x y z+ x y z
x y z f
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
4 Приклад ДКНФ:
Конституента 0
x y z f
(макстерм)
0 0 0 0 x+y+z
0 0 1 0 x+ y+z
0 1 0 0 x+ y+z
0 1 1 0 x+ y+z
1 0 0 1
1 0 1 1
1 1 0 0 x+ y+z
1 1 1 1
ДКНФ(f) = (x+y+z)( x + y + z ¿ ( x + y + z ) ( x + y + z ) ( x+ y+ z )
Карти Карно
Логічну схему, що реалізує заданий алгоритм перетворення сигналів,
можна синтезувати безпосередньо за виразом, поданим у вигляді ДДНФ або
ДКНФ. Проте отримана при цьому схема, як правило, не оптимальна з
погляду її практичної реалізації. Тому скінченну логічну функцію звичайно
мінімізують.
Метою мінімізації логічної функції є зменшення вартості її технічної
реалізації. Критерій, відповідно до якого виконують мінімізацію, далеко не
однозначний і залежить як від типу задачі, так і рівня розвитку технології.
Основними вимогами до задачі синтезу є: мінімальне число
елементарних кон’юнкцій або диз’юнкцій у логічній формулі й однорідність
використовуваних операцій.
Для мінімізації функцій з числом аргументів n 6 застосовують карти
Карно. Їх будують у вигляді таблиць з 2n клітин із розміткою рядків і
стовпчиків змінними.
Карти Карно – це графічне зображення таблиць істинності. Карта
Карно показана на рисунку 1.2. Чотири квадрати (1, 2, 3, 4) відповідають
чотирьом можливим комбінаціям аргументів а і b у таблиці істинності з
двома змінними.
Карти Карно для функції трьох змінних F(x1, x2, x3) показані на рисунку
х1
Контрольні запитання
1. Які змінні називаються булевими або логічними змінними?
2. Дайте визначення булевої функції.
3. Що ми називаємо диз’юнктивною нормальною формою?
4. Правила утворення ДДНФ функції n аргументів?
5. Що ми називаємо кон’юнктивною нормальною формою?
6. Правила утворення ДКНФ функції n аргументів?
на інтепретації (1, 0, 1)
Наочне уявлення про граф можна отримати, якщо уявити деяку безліч
точок площини Х, званих вершинами, і безліч спрямованих або
неспрямованих відрізків М, що з'єднують всі або деякі з вершин і званих
дугами. Математично граф визначається як пара множин (Х, Г).
Визначення: Якщо дві вершини з'єднані спрямованим відрізком, пара
називається упорядкованою, а відрізок називається ребром графа. Якщо
вершини з'єднані ненаправленим відрізком, то вершини називаються
невпорядкованими, відрізок, що їх з'єднує, називається дугою.
Визначення: Граф, що містить лише ребра, називається орієнтованим.
Визначення: Граф, що містить лише дуги, називається неорієнтованим.
Визначення: Пара вершин може з'єднуватися двома або більше ребрами
одного напрямку, такі ребра називаються кратними.
Визначення: Дуга або ребро може починатися або закінчуватися в одній
вершині, такі дуги називаються зашморгами. Вважається, що довжина петлі
дорівнює 1.
Визначення: Вершини, з'єднані ребром або дугою, називаються
суміжними,
Визначення: Дуги, що мають спільні вершини, називаються суміжними.
Визначення: Ребро та кожна з двох її вершин називається інцидентними.
Визначення: Шляхом у графі G називається така послідовність дуг, де
кінець кожної попередньої дуги є початком наступної дуги. Шлях М,
послідовними вершинами якого є вершини a, b, c … позначається М (a, b,
c…)
Визначення: Довжиною шляху М називається число К, що дорівнює
числу дуг, що становлять шлях М. Шлях може бути кінцевим та
нескінченним. У разі нескінченного шляху вважаємо К = ∞.
Визначення: Шлях, у якому жодна дуга не зустрічається двічі,
називається простим
Визначення: Шлях, у якому жодна вершина не зустрічається двічі,
називається елементарним.
Визначення Контур – це кінцевий шлях М, у якого початкова і кінцева
вершина збігаються. У цьому контур називається елементарним, якщо його
вершини різні ( крім початкової і кінцевої вершини). Для неорієнтованого
графа аналогічними поняттями є поняття ланцюга та циклу. З поняттям
неорієнтованого графа пов'язане поняття зв'язності графа.
Визначення: Граф зв'язаний, якщо будь-які дві його вершини можна
з'єднати ланцюгом.
Операції над графами
Одномісні операції
1. Видалення ребра графа – всі вершини графа зберігаються.
2. Додавання ребра графа між двома вершинами.
3. Видалення вершини (разом із інцидентними ребрами).
4. Додавання вершини (яку можна з'єднати з деякими вершинами графа).
5. Стягування ребра – ототожнення пари вершин, тобто. видалення пари
суміжних вершин і додавання нової вершини, суміжної з тими вершинами,
які були суміжні, хоча б однієї з віддалених вершин)
6. Подразбіння ребра з-видалення ребра і додавання нової вершини, яка
з'єднується ребром з кожною з вершин віддаленого ребра
Двомісні операції
1. Об'єднання графів
2. Додавання за модулем 2
Ізоморфізм графів
Це відношення еквівалентності на багатьох графах. Визначення Ізоморфним
відображенням одного неорієнтованого графа на інший називається
взаємооднозначне відображення вершин та ребер одного графа – відповідно
на вершини та ребра іншого графа, при якому зберігається відношення
інцидентності.
Зазвичай ізоморфні графи не розрізняють. Число попарно неізоморфних
графів з цим числом вершин і ребер звичайно. Подібним чином визначається
ізоморфізм орієнтованих графів. Встановлення відносин ізоморфності є
важливою проблемою теорії графів. Для деяких класів графів є ефективні
алгоритми, що дозволяють встановити ізоморфізм.
Наприклад
Вказані бінарні дерева різні між собою (у першому випадку корінь має
порожнє праве піддерево, а в другому ліве піддерево порожнє), хоча як
дерева вони ізоморфні, і ми можемо розглядати їх як одне дерево.
Визначення: Бінарне дерево називається повним, якщо для деякого
цілого числа K кожен вузол, глибини меншої k має як лівого, так і правого
сина, і кожен вузол глибини k є листом.
Повне дерево глибини k має
вузлів.
Дуже часто використовуються алгоритми, які проходять дерево
(відвідують кожен його вузол) у певному порядку. Відомо кілька способів
зробити це. Ми розглянемо три широко відомих способи: проходження
дерева у прямому порядку, зворотному порядку та внутрішньому.
Вважатимемо, що Т – дерево з коренем r і синами {v1 . . . vk} при k>=0.
При k = 0 дерево складається з єдиного вузла r.
Проходження дерева Т у прямому порядку визначається наступним
алгоритмом:
1. Відвідати корінь r
2. Відвідати зліва на право піддерев'я з корінням v1. . . vk у зазначеній
послідовності.
Приклад
Базова
Допоміжна
ІНФОРМАЦІЙНІ РЕСУРСИ
1) http://uk.wikipedia.org/wiki/Дискретна_математика
2) http://youalib.com/дискретна-математика
3) http://www.unicyb.kiev.ua/Library/DM/index.html
4) http://mathworld.wolfram.com/DiscreteMathematics.html
5) http://en.wikibooks.org/wiki/Discrete_Mathematics
6) http://archives.math.utk.edu/topics/discreteMath.html
7) http://mathforum.org/discrete/discrete.html
ЗМІСТ
Вступ 4
Література 30