Вербицький В.І., Колодяжний В.М., Лісіна О.Ю. Дискретная математика

Харків: ХНАДУ, 2011. - 46 с. Основи курсу для студентів технічних університетів.
Основи теорії множин.
Поняття множини.
Операції над множинами.
Алгебра множин.
Декартів добуток. Відношення.
Бінарні відношення.
Відношення еквівалентності та порядку.
Відображення. Функції.
Еквівалентність множин. Потужність множин.
Логіки висловлювань.
Основні поняття логіки висловлювань. Операції над висловлюваннями.
Логічні формули. Рівносильність висловлювань.
Закони алгебри логіки. Еквівалентні перетворення. Таблиці істинності.
Двоїстість. Принцип двоїстості.
Нормальні форми.
Гіпотези та наслідки складного висловлювання. Перевірка правильності аргументів.
Булєві функції.
Мінімізація нормальних форм.
Релейно-контактні схеми.
Елементи логіки предикатів.
Рівносильність формул логіки предикатів. Попередня форма.
Література.