Программа - Определение принадлежности логической функции к пяти классам функций

Ахметова Н.А., Усманова З.М. Дискретная математика. Функции алгебры логики. Учебное пособие

формат doc
размер 3.77 МБ
добавлен 08 апреля 2011 г.

Редакционно – издательский комплекс УГАТУ, 2000 Элементы комбинаторики Перестановки. Размещения. Сочетания Задачи по комбинаторике Функции алгебры логики Элементарные функции алгебры логики Формульное задание функций алгебры логики Принцип двойственности Разложение булевой функции по переменным Полнота, примеры полных систем Замыкание и замкнутые классы Функции k – значной логики Задачи и упражнения по функциям алгебры логики Миними...

Ахметова Н.А., Усманова З.М. Дискретная математика. Функции алгебры логики. Учебное пособие

формат doc
размер 3.79 МБ
добавлен 30 мая 2011 г.

Содержание. Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нор...

Лекции по алгебре логики

Статья

формат pdf
размер 756.06 КБ
добавлен 26 января 2011 г.

Понятие алгебры. Логические функции. Булева алгебра логических функций и эквивалентные преобразования в ней. Нормальные формы. Минимизация логических функций. Полнота системы логических функций.

Марченков С.С. Замкнутые классы булевых функций

формат djvu
размер 1.9 МБ
добавлен 19 февраля 2011 г.

М.: ФИЗМАТЛИТ, 2000. — 128 с. В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены буле...

Программа - Определение принадлежности логической функции к пяти классам функций K0, K1, Kл, Кс, Км

software

формат exe
размер 257.83 КБ
добавлен 16 января 2011 г.

Программа позволяет определить принадлежность логической функции 2 - 4 переменных к пяти классам функций: К0 - функции, сохраняющие ноль, К1 - функции, сохраняющие единицу, Кл - линейные функции, Кс - самодвойственные функции, Км - монотонные функции. Логическая функция задается в виде таблицы истинности.rn

Программа - Полином Жегалкина

software

формат jar, txt
размер 34.5 КБ
добавлен 20 сентября 2011 г.

Программа позволяет построить полином Жегалкина для логической функции 2 - 5 переменных. Логическая функция задается в виде таблицы истинности. Работа выполнена в Воткинском филиале Ижевского ГТУ.rn

Программа CaMeng. Булево представление логических функций

software

формат exe
размер 367.04 КБ
добавлен 15 апреля 2011 г.

Бета-версия. Отображает заданные пользователем логические функции в виде диаграммы Эйлера- Венна. Функции могут быть заданы выражением, таблицей истинности или картой Карно. Программа позволяет рассчитать СДНФ, СКНФ и полином Жегалкинаrn

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

формат htm
размер 449.74 КБ
добавлен 25 декабря 2007 г.

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

Учебник по дискретной математике

Статья

формат doc
размер 878.8 КБ
добавлен 31 июля 2004 г.

Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нормальных фор...

Шпоры - Дискретный анализ

pottee

формат doc
размер 970 КБ
добавлен 29 сентября 2009 г.

«Дискретный анализ» Понятие множества, элементов множества, подмножество, универсальное множество, пустое множество. Операции над множествами и их семействами: объединение, пересечение, дополнение, разность. Понятие графа. Полный граф. Вершина, степень вершины. Теорема о сумме степеней вершин графа. Теорема о числе нечетных вершин графа. Цикл. Путь. Длина пути. Связность графа. Мост. Деревья, лес. Плоский граф. Формула Эйлера о числе ребер и числ...