ДИСКРЕТНА МАТЕМАТИКА 1 СЕМЕСТР – ЗАЛІК 6 лекцій+18 лаб.роботи+РГР 2 СЕМЕСТР –

лекцій + 16 лаб.роботи+РГР

лектор: Гафіяк Алла Мирославівна

і множини».
Побудувати таблицю істинності для виразу.
Дати оцінку поняттям «Алгебра множин».

Комп’ютерне подання множин.
Дати оцінку поняттям «потужність множини». Проаналізувати правила суми, добутку. Розміщення, сполуки та переставлення.
Дослідити основні задачі комбінаторики та їх розв’язування: біном Ньютона, поліноміальна теорема тощо.
Проаналізувати основні задачі комбінаторики та їх розв’язування: рекурентні рівняння.
Дати оцінку поняттям «подання вибірок: алгоритми, твірна функція».
Дати оцінку поняттям «Булеві змінні і функції». Табличне та формульне подання функцій.
Порівняльна характеристика алгебри булевих функцій Буля й Жегалкіна. Двоїсті функції.

функціональними елементами.
Відношення та їх властивості. Операції над відношеннями. Відношення еквівалентності.
Обґрунтувати

основні поняття логіка висловлювань і її закони.
Відношення часткового порядку. Діаграми Гасе. Топологічне сортування..
Дати оцінку поняттю логіки першого ступеня та її законам. Випереджальна нормальна форма формул.
Замикання відношень. Бази даних і відношення.
Обґрунтувати вимоги щодо логічного виведення та його правил в логіці висловлювань.

правила виведення в логіці висловлювань.
Правила суми, добутку. Розміщення, сполуки та

переставлення.
Основні задачі комбінаторики та їх розв’язування: біном Ньютона, поліноміальна теорема тощо.
Подання вибірок: алгоритми, твірна функція.
Булеві змінні і функції. Табличне та формульне подання функцій.
Многочлен Жегалкіна.
Нормальні форми подання булевих функцій.
Бінарне дерево пошуку. Дерево прийняття рішень.
Мінімізація булевих функцій.

Пасічник, Ю. М. Щербина. – Київ: Видавнича група BHV, 2007.

– 367 с.