Усенко В.В. Эффективный матричный инструмент логики

формат djvu
размер 470.82 КБ
добавлен 20 марта 2010 г.

Пособие cодержит описание универсальной логической функции для эффективной работы с логическими системами и методы для проведения формализованных решений логических задач без визуализации промежуточных результатов. Приводятся эффективные методы оперирования булевыми матрицами, описание вновь разработанных матричных операций и матричный вариант реализации формулы Мейсона для решения сигнальных графов.
Предназначено для студентов, обучающихся по специальности 220301 «Автоматизация технологических процессов и производств» направления «Теплоэнергетика», а также для сотрудников, занимающихся проектированием решений задач на ЭВМ.

Похожие разделы

Смотрите также

Алексеев В.Б., Поспелов А.Д. Дискретная математика

формат pdf
размер 712.41 КБ
добавлен 30 сентября 2008 г.

(II семестр) лектор - профессор В. Б. Алексеев составитель - А. Д. Поспелов. ВМК МГУ. 44 стр. Содержание: Глава I. Функции алгебры логики. Функции алгебры логики. Равенство функций. Тождества для элементарных функций. Теорема о разложении функции алгебры логики по переменным. Теорема о совершенной. дизъюнктивной нормальной форме. Полные системы. Примеры полных систем. Теорема Жегалкина о представимости функции алгебры логики полиномом. Понятие...

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

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

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

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

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

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

Задачи по дискретной математике (+ ответы и примеры решения)

Контрольная работа

формат rtf
размер 3.69 МБ
добавлен 27 апреля 2011 г.

Задачи по дискретной математике (+ ответы и примеры решения) Решебник содержит решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции определяется является ли клауза теоремой. и др.

Кондратьев А.И. Лекции по дискретной математике

формат doc
размер 3.82 МБ
добавлен 01 ноября 2008 г.

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

Лекции по дискретной математике

Статья

формат doc
размер 442.66 КБ
добавлен 22 декабря 2006 г.

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

Лекции по дискретной математике

Статья

формат doc
размер 319.58 КБ
добавлен 05 ноября 2007 г.

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

Лекция - Алгебра логики

Статья

формат rtf
размер 61.69 КБ
добавлен 27 апреля 2011 г.

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

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

Статья

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

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

Фоминых Е.А. Лекции по дискретной математике: функциональные системы с операциями

формат pdf
размер 249.9 КБ
добавлен 28 ноября 2008 г.

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