Селезнева, Дайняк. Функции многозначных логик, полиномы

Учебное пособие - М.: ФИЗМАТЛИТ, 2005 г. - 416 с. В пособии включены задачи и упражнения по конечнозначным логикам (втч и по алгебре логики), по теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения пр...

Лекции Костенко К. И. ФКТиПМ, КубГУ. 146 стр. отсканированные тетрадные страницы с хорошим почерком. Лекции по вопросам за 1 семестр: Мощность множеств. Отображения. Обратные отображения. Отношения. Представление и операции над отношениями. Свойства отношений на множестве. Отношения эквивалентности. Отношения порядка. Основные комбинаторные правила. Размещения. Сочетания без повторений Сочетания с повторениями. Разбиения множеств на части. Формул...

Учебник. Часть IV. Костенко К. И. ФКТиПМ, КубГУ, с. 22 Содержание: - разложение булевских функций по переменным - схемы из функциональных элементов - минимальные ДНФ - геометрическая интерпретация ДНФ - полные системы булевских функций - полиномы жегалкинаrn

Новосибирск: Наука. Сибирская издательская фирма РАН, 2000. — 294 с. В монографии излагаются классические и новые арифметические, геометрические и комбинаторные свойства арифметических треугольников и пирамид, обобщающих треугольник Паскаля. Строятся и исследуются дискретные математические модели некоторых структур и процессов техники и естествознания. Разрабатываются комбинаторные алгоритмы применения арифметических пирамид для построения симме...

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

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

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

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

Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп. Теория алгоритмов. Понятие алгоритма. Конкретизация понятия алгоритма. Сложность вычислений. Машины Тьюринга. Нормальные алгорифмы Маркова. Рекурсивные функции. Формальные грамматики. Функциональное программирование. Логическое программирование....

Функциональные системы с операциями. Алгебра логики. Функции алгебры логики. Равенство функций и эквивалентность формул. СДНФ. Операция замыкания. Полнота. Важнейшие замкнутые классы. Критерий полноты. к-значная логика. Функции к-значной логики. Аналог СДНФ. Операция замыкания и полнота. Алгоритм распазнования полноты. Теорема Кузнецова о полноте. Критерий слупецкого. Особенности к-значных логик.