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