- •1. Основні поняття теорії множин (поняття порожньої множини, універсуму, способи завдання множин).
- •2.Основні операції над множинами.
- •3.Властивості операцій над множинами
- •4.Геометрична інтерпретація множин
- •5.Поняття підмножини, рівність множин.
- •6.Множина підмножин.
- •7.Алгебра множин.
- •8.Узагальнення операцій над множинами.
- •9.Декартовий добуток множин
- •10.Еквівалентність множин.
- •11.Поняття потужності множини.
- •12.Зчисленні та незчисленні множини.
- •13.Множини потужності континуума.
- •14.Поняття відношення
- •15.Поняття фактор – множини
- •16.Подання відношень за допомогою матриці і графа
- •17.Операції над відношеннями
- •18.Симетричне (обернене) відношення
- •19.Поняття композиції відношень
- •20.Властивості композиції відношень
- •26.Поняття функції та відображень.
- •27.Типи відображень
- •28.Поняття образу та праобразу
- •29.Основні властивості відображень
- •30.Відношення еквівалентності
- •31.Матриця та граф відношення еквівалентності
- •32.Відношення толерантності
- •33.Відношення нестрогого порядку
- •34.Відношення строгого порядку
- •35.Матриця та граф відношення нестрогого порядку
- •36.Матриця та граф відношення строгого порядку
- •37.Алгоритм побуд. Транзитивного замикання відношень(алг. Уоршалла)
- •38.Осн. Поняття реляційної алгебри
- •39.Булеві функції, способи задання булевої функції
- •40.Номери булевих функцій та інтерпретацій.Булеві ф-ї двох змінних.
- •41.Закони булевої алгебри
- •42.Поняття двоїстої та самодвоїстої функцій
- •43. Правило розкладаня булевої ф-ї за всіма або декількома змінними.
- •44.Поняття досконалої диз’юнктивної нормальної форми (дднф) та досконалої кон’юнктивної нормальної форми (дкнф).
- •45.Алгоритм переходу від таблиці істинності до дднф.
- •46.Поняття алгебри Жегалкіна, лінійні функції.
- •47.Правила мінімізації булевих функцій (карти Карно).
- •48. Понятя повних систем булевих функцій
- •49.Теорема Поста про повноту.
- •53.Поняття предикату, квантору
- •54. Закони у логіці предикатів
- •55.Алгоритм зведення вільної форми алгебри логіки предикатів до внф.
- •56. Закони математичної логіки першого ступеня. Поняття множини істинності предиката.
- •57.Основні поняття теорії графів (порядок, степені вершин, порожній граф, мультиграф, псевдо граф, орієнтований та неорієнтований граф).
- •58.Задання графа за допомогою матриці інцидентності
- •59.Задання графа за допомогою матриці суміжності
- •60.Задання графа за допомогою матриці Кірхгофа.
- •61. Локальні степені вершини графа.
- •62. Локальні степені вершини орграфа.
- •64. Операції над частинами графа.
- •65. Маршрути, ланцюги, цикли.
- •66. Ознаки зв’язності
- •67. Поняття дерева.
- •73. Поняття гамільтонових графів.
- •75. Поняття укладання графа. Пласкі та планарні графи.
- •76. Теорема. Ейлера та властивості планарного графа
- •77. Критерії планарності
- •80. Критичні графи
- •82. Алгоритм Форда-Беллмана д/знах. Макс. Шляху
- •83. Алгоритм Форда-Фалкерсона – знах. Макс. Потоку в мережі
- •84. Алгоритм Хафмана
- •90. Біном Ньютона. Поліномна формула
7.Алгебра множин.
Алгебра множин широко застосовується у програмуванні, зокрема, при роботі з різноманітними базами даних і становить основу для побудови багатьох математичних структур. Клас множини cr називається алгеброю (множин), якщо: Ucr; з А, В cr виходить AB cr; з А, В cr виходить A\B cr. Пріоритет операцій в алгебрі множин такий: А, АВ, АВ, А\В. (див. пит. 3 – властивості опер. над множинами.)
8.Узагальнення операцій над множинами.
Із властивостей комутативності й асоціативності операцій об’єднання випливає, що об’єднання кількох множин можна виконати, послідовно об’єднуючи їх, причому порядок входження множин не впливає на результат, наприклад А1А2...Аn= Ai. Сукупність множин A1,A2,..An називається розбиттям множини A, якщо об’єднання всіх цих множин співпадає з множиною A.
9.Декартовий добуток множин
П рямим (або декартовим) добутком множин А і В називається множина всіх упорядкованих пар елементів а та b, з яких перший належить множині А, а другий – множині В (позначається A x B):
Декартовий добуток добутативний. AxBBxA(тобто не комутативний). Результатом добутку n – множин є впорядкована послідовність n – елементів, яка називається картежем (вектором довжиною n).
Операція днкартового добутку може бути узагальнена: А1хА2хА3х…хAn = П (от і=1 до n) Aі (П - добуток).
Декарт.добуток не асоціативний, але дистрибутивний: 1) (A1 u A2)x A3=(A1 x A3)u(A2 x A3) 2) (A1 ∩ A2)x A3=(A1 x A3) ∩(A2 x A3) 3) (A1-A2)x A3 = (A1 x A3)-(A2 x A3)
10.Еквівалентність множин.
Якщо кожному елементу множини А вспівставлений єдиний елемент множини В, і при цьому всякий елемент множини В зіставлений одному і тільки одному елементу множини А, то між множинами А і В існує взаємно однозначна відповідність (бієкція). Множини А і В називаються еквівалентними або рівнопотужними. Властивість еквівалентності є транзитивною.(якщо А~В, а В~С, то А~С) Дві скінченні множини будуть еквівалентні тоді і тільки тоді, коли кількість їх елементів однакова.
11.Поняття потужності множини.
Потужність – к-ть ел. даної множини. Позначається - А. Еквівалентним одна одній виявляються всі скінченні множини з однаковим числом елементів n, і число n вважається потужністю цих множин. Для нескінченної множини строге поняття потужності не вводиться, але сам термін “потужність” використовується для позначення властивості, загальної для всіх еквівалентних множин. Якщо дві нескінченні потужності А і В еквівалентні (А~В). В загальному випадку потужність об’єднання n – множин виражається у наступному вигляді:
А1А2...Аn=A1+A2+A3+...+An-A1A2-A1A3-…-An-1An+…+(-1)n-1A1A2…An
12.Зчисленні та незчисленні множини.
Множина А називається зчисленною, якщо вона еквівалентна множині натурального ряду. Її елементи можна пронумерувати. Термін “зчисленність” є точним замінником інтуїтивного поняття – “дискретність”. Ознаки зчисленності множин:1)усяка нескінченна підмножина зчисленної множини зчислена; 2)об’єднання кінцевої сукупності зчислених множин - зчислена; 3)множина всіх раціональних чисел виду p/q (p,q Z) - зчисленна; 4) якщо дані множини зчисленні, то множина всіх пар також зчисленна 5) Множина всіх багаточленів будь-яких ступенів з раціональними коефіцієнтами a0 …an – зчисленна. Множина, елементи якої пронумеровати не можна, назив. незчисленною(Напр., множина всіх точок відрізка [0,1] незчисленна (т. Кантора)).