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

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

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

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

Изложены основные понятия теории множеств, алгебры логики, где достаточно подробно рассмотрены методы минимизации логических функций и их «схемные» представления с элементами нечеткой логики. В каждом из трех разделов рассматриваются примеры решения типовых задач, обеспечивающих закрепление введенных понятий. Даны контрольные вопросы и задания, определен объем знаний студента. Предназначено для студентов 1-го и 2-го курсов Естественно-научного ф...

Лекции для студентов Бурятского филиала ФГОУ ВПО СибГУТИ. Раздел 1 Основы теории множеств. Раздел 2 Формулы логики. Раздел 3 Булевы функции. Раздел 4 Предикаты и бинарные отношения. Раздел 5 Отображения. Подстановки. Раздел 6 Метод математической индукции. Раздел 7 Основы теории графов. Раздел 8 Элементы теории алгоритмовrn

Все лекции по дискретной математике факультета Информационных технологий. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры. Булевы алгебры и теория множеств. Полнота и замкнутость. Язык логики предикатов. Комбинаторика. Графы: основные понятия и операции. Маршруты, цепи и циклы. Некоторые классы графов и их частей. rn

Лекция. Алгебра логики Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.

Учебное пособие. Обнинск. ИАТЭ. 2003г. Данное пособие предназначено для изучения дискретной математики студентами заочной и вечерней форм обучения. Пособие содержит учебный материал по алгебре логики, теории множеств, комбинаторике и теории графов; приводятся теоретические сведения в виде краткого конспекта лекций, упражнения для проведения практических занятий, методические указания по решению задач и контрольные задания по курсу дискретной мате...

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

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