Довідка

Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.

Дізнаємось

як саме квантори дозволяють точно і однозначно формулювати математичні твердження і теореми.

Навчимось

використовувати квантори для математичних доказів і умовних тверджень, що особливо важливо для побудови строгих математичних міркувань.

Матеріали

Доступно тільки для зареєстрованих користувачів

Проблемні питання

Доступно тільки для зареєстрованих користувачів

Тест

Доступно тільки для зареєстрованих користувачів

Д.з.

Доступно тільки для зареєстрованих користувачів

№	Тема
5 лекції
1	Поняття про системи числення. Основні означення. Позиційні та непозиційні системи числення.
2	Дії над числами в системах числення з різними основами. Основні означення. Операції додавання, віднімання та множення в двійковій, вісімковій та шіснадцятковій системі числення.
3	Поняття про алгебру висловлень. Основні логічні операції над висловленнями.
4	Поняття набору логічної функції. Таблиця істинності. Поняття про логічну функцію та її аргументи. Основні формули булевої алгебри.
5	Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.
6	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
7	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
8	Основні поняття теорії графів. Способи задання графів. Неорієнтовані та орієнтовані графи, види графів. Операції над графами. Ступінь вершини.
9	Ейлерові графи. Гамільтонові графи. Приклади графів Ізоморфізм графів. Планарність. Плоский граф.
10	Поняття відношення. Бінарні відношення. Способи подання відношень.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Основні поняття та теореми.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Основні поняття та теореми.
5 практичні заняття
1	Переведення цілих чисел з однієї системи числення в іншу.
2	Дії над числами в системах числення з різними основами.
3	Логічні операції над висловленнями. Побудова висловлень у символьній формі.
4	Побудова таблиць істинності для логічних функцій n аргументів.
5	Числення висловлень. Залік з модуля 1.
6	Операції над множинами. Закони і тотожності алгебри множин.
7	Комп’ютерне подання множин. Розв’язування задач.
8	Операції над графами. Зображення графів.
9	Задання графа за допомогою матриці інцидентності, матриці суміжності та списку ребер. Комп’ютерне задання графів. Залік з модуля 2.
10	Види відношень. Операції над відношеннями.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Подання логічних функцій у ДДНФ.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Подання логічних функцій у ДКНФ.

Довідка ЛКЛАУД ІД 162

Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.

Дізнаємось

Навчимось

Матеріали

Проблемні питання

Тест

Д.з.

Довідка
ЛКЛАУД ІД 162