МІНІСТЕРСТВО ОСВІТИ ТА НАУКИ УКРАЇНИ
Криворізький економічний інститут
ДВНЗ «Київський національний економічний університет імені Вадима Гетьмана»
МЕТОДИЧНІ ВКАЗІВКИ
До проведення практичних та самостійних занять
з дисципліни “Економічна кібернетика”
для студентів денного та заочного відділення
спеціальності „Економічна кібернетика”
Розділ 1. Теорія множин
Поняття множини. Способи задання множин. Порожня множина. Операції над множинами. Властивості множин. Алгебра множин.
Розділ 2. Вступ до математичної логіки
Поняття логічної функції. Алгебра Буля, її закони. Методи мінімізації булевих функцій. Загальна характеристика висловлювань. Логічні операції. Таблиці істинності.
Розділ 3. Комбінаторний аналіз
Комбінаторні схеми. Загальні правила суми та добутку. Комбінаторні схеми: розміщення, розміщення з повтореннями, функціональні відображення. Комбінаторні схеми: сполучення, сполучення з повтореннями. Комбінаторні схеми: розбиття.
Розділ 4. Бінарні відношення
Поняття бінарного відношення. Завдання бінарного відношення з допомогою матриці та графа. Композиція відношень.
Розділ 5. Теорія графів
Основні поняття теорії графів. Цикломатичний базис, цикломатичне число матриці графа. Алгоритм знаходження мінімальних шляхів в навантажених графах. Алгоритм фронту хвилі, алгоритм Форда-Беллмана.
Тема 2. Вступ до математичної логіки.
Табл.1
Між таблицею істинності та колами Ейлера існує взаємно однозначна відповідність. Тому число одиниць для завжди буде дорівнювати числу заштрихованих областей на діаграмі Ейлера. Чотири комбінації аргументів x1 та x2 будуть відповідати чотирьом областям. Крім того, неважко підрахувати, що число комбінацій нулей та одиниць для функції дорівнює 16 (7 елементів та варіант, коли елемент не належить ні однієї із множин). Отже, загальне число можливих операцій на двох множинах теж дорівнює цьому числу.
Пересічення множин та : де - символ логічної зв’язки „і”, яка називається кон’юнкцією. Для нашого числового випадку будемо мати: .
Таблицю істинності для кон’юнкції можна представити слідуючим чином:
табл.2 | |||
Якщо у таблиці істинності для диз’юнкції усі нулі поміняти на одиниці, а всі одиниці – на нулі, то у підсумку отримуємо таблицю істинності для кон’юнкції. Цей факт визначає взаємну двоїстість кон’юнкції та диз’юнкції. Для будь-якої логічної операції можна знайти двоїсту.
Множина доповнює множину до універсуму (або 1). Доповнення до логічної змінної , тобто (не-), називають у логіці частіше за все запереченням .
Розглянемо дві нові операції: стрілка Пірса та штрих Шеффера. Діаграми цих операцій доповнюють об’єднання та пересічення до фундаментальної множини (універсуму U).
Стрілка Пірса
ЗАВДАННЯ ДЛЯ САМОСТІЙНОГО ОПРАЦЮВАННЯ
Література
1. Нікольський Ю.В., Пасічнік В.В., Щербина Ю.М. Дискретна математика. – К.: Видавнича група BHV, 2007. – 368 с.
2. Горбатов В.А. Основы дискретной математики: Учеб. пособие для студентов вузов. – М.: Высш. шк., 1986. – 311 с.
3. Капітонова Ю.В., Кривий С.Л., Луцький Г.М., Печурін М.К. Основи дискретної математики: Підручник. – К.: Наукова думка, 2002. – 568 с.
4.