DM_2 / ОДМ учебник / page1

Правый фрейм Зміст 1. Множини 1.1. Множини. Способи задання множин 1.2. Основні поняття теорії множин 1.3. Геометрична інтерпретація множин 1.4. Операції на множинах 1.5. Алгебра множин 2. Відношення 2.1. Поняття відношення. Задання відношень 2.2. Операції над відношеннями 2.3. Властивості бінарних відношень 2.4. Відношення еквівалентності, порядку, толерантності 2.5. Функціональні відношення 3. Алгебраїчні структури 3.1. Алгебраїчні операції та їх властивості 3.2. Поняття алгебраїчної структури 3.3. Найпростіші алгебраїчні структури 3.4. Кільця і поля 3.5. Ґратки 4. Булеві функції та перетворення 4.1. Булеві змінні і функції 4.2. Способи задання булевих функцій 4.3. Двоїстість 4.4. Закони булевої алгебри 4.5. Диз'юнктивні та кон'юктивні розкладання булевих функцій 4.6. Нормальні форми зображення булевих функцій 4.7. Мінімізація булевих функцій 4.7.1. Основні поняття 4.7.2. Мінімізація булевих функцій методом карт Карно 4.7.3. Мінімізація на множині КНФ (методом діаграм Вейча) 4.7.4. Мінімізація частково визначених функцій 4.7.5. Мінімізація функцій методом Квайна — Мак-Класкі 4.7.6. Мінімізація функцій методом Порецького — Блейка 4.8. Алгебра Жегалкіна. Лінійні функції 4.8.1. Тотожності алгебри Жегалкіна 4.8.2. Поліном Жегалкіна 4.9. Функції, що зберігають нуль та одиницю. Монотонні функції 5. Теорія графів 5.1. Типові задачі 5.2. Основні терміни 5.3. Способи задання графа. Матриця інциденцій. Матриця суміжності 5.4. Ізоморфізми та операції над графами 5.5. Маршрути, ланцюги та цикли 5.6. Зв'язність 5.7. Ейлерові та напівейлерові графи 5.8. Гамільтонові та напівгамільтонові графи 5.9. Планарність графів 5.10. Розфарбування 5.11. Дерева. Орієнтовані і бінарні дерева. Остови(каркаси) графа 5.12. Найкоротші відстані та шляхи у мережах 5.13. Дослідження перерізів і циклів у графі 5.14. Течії у мережах 6. Математична логіка 6.1. Історія і задачі математичної логіки 6.2. Поняття логіки висловлень 6.3. Дедуктивні висновки у логіці висловлень. 6.4. Обчислення висловлень 6.5. Логіка предикатів. 6.6. Квантори 6.7. Формули предикатів 6.8. Закони і тотожності у логіці предикатів 6.9. Випереджені нормальні форми і логічний висновок у логіці предикатів 6.10. Обчислення предикатів. Багатозначна логіка 6.11. Багато визначна логіка