Рабкин Е.Л., Фарфоровская Ю.Б. Дискретная математика

Логические (булевы) функции. Основные логические функции. Свойства конъюнкции, дизъюнкции и отрицания. ДНФ, СДНФ, КНФ, СКНФ. Представление логических функций в виде СДНФ (СКНФ). Нахождение сокращенной ДНФ по таблице истинности (карты Карно). Полиномы Жегалкина. Суперпозиция функций. Замыкание набора функции.Замкнутые классы функций. Полные наборы. Базисы. Некоторые приложения теории булевых функций. Элементы теории графов. Общие понятия теории графов. Эйлеровы и полуэйлеровы графы. Матрицы и графы. Нахождение путей и сечений с помощью структурной матрицы. Сети, потоки в сетях. Теорема Форда – Фалкерсона. Раскраска графа. Деревья и их простейшие свойства. Решение типовых задач