Дизъюнктивные нормальные формы
Представление булевой функции в виде дизъюнктивной нормальной формы. Выражение всех логических операции в формуле через конъюнкции, дизъюнкции и отрицания. Сокращение количества слагаемых, входящих в формулу и количества переменных, входящих в слагаемое.
Подобные документы
Понятие функции двух и более переменных, ее предел и непрерывность. Частные производные первого и высших порядков. Определение полного дифференциала. Необходимые и достаточные условия существования экстремума и его нахождение на условном множестве.
реферат, добавлен 03.08.2010Развитие математики переменных величин: создание аналитической геометрии, дифференциального и интегрального исчисления. Значение появления книги Декарта "Геометрия" в создании математики переменных величин. Становление математики в ее современном виде.
реферат, добавлен 30.04.2011Многие переменные, минимизация их функций. Точки максимума и минимума называются точками экстремума функции. Условия существования экстремумов функции многих переменных. Квадратичная форма, принимающая, как положительные, так и отрицательные значения.
реферат, добавлен 05.09.2010Построение квадратичных двумерных стационарных систем с заданными интегралами. Выражение коэффициентов интегралов через коэффициенты системы, связь последних между собой тремя соотношениями. Необходимые и достаточные условия существования у системы.
дипломная работа, добавлен 07.09.2009Исследование зависимости потребления бензина в городе от количества автомобилей с помощью методов математической статистики. Построение диаграммы рассеивания и определение коэффициента корреляции. График уравнения линейной регрессии зависимости.
курсовая работа, добавлен 28.06.2009Доказательство теоремы Пифагора методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных. Существование бесконечного количества троек пифагоровых чисел и, соответственно, прямоугольных треугольников.
творческая работа, добавлен 25.06.2009Схематическое изображение и краткое описание заданной гидравлической системы, выражение работы данной системы с помощью уравнений. Написание уравнения системы виде входа-выхода, решение задачи в символьном виде. Разложение уравнения в ряд Тейлора.
лабораторная работа, добавлен 11.03.2012Алгоритм перехода к графическому представлению для неориентированного графа. Количество вершин неориентированного графа. Чтение из матрицы смежностей. Связи между вершинами в матрице. Задание координат вершин в зависимости от количества секторов.
лабораторная работа, добавлен 29.04.2011Графы - определение и примеры. Задачи на нахождение всех комбинаций партий в шахматы между игроками, выбора нужной марки для письма, составления двузначного кода из возможных четырех цифр, расположения заданного количества гостей на разноцветных стульях.
презентация, добавлен 27.03.2011Анализ цепи с применением методов переменных состояния, операторного и частотного при апериодическом и периодическом воздействии. Определение амплитудного и фазового спектров входного сигнала. Получение тока на выходе цепи в виде отрезка ряда Фурье.
курсовая работа, добавлен 11.01.2012Алгоритм вычисления интегральной суммы для функции нескольких переменных f(x, y) по плоской кривой АВ. Ознакомление с понятием криволинейного интеграла первого рода. Представление формулы расчета криволинейного интеграла по пространственной кривой.
презентация, добавлен 17.09.2013Функции нескольких переменных. Локальные экстремумы функции двух переменных. Производная по направлению. Двойные и тройные интегралы. Вычисление объемов тел и площадей плоских фигур. Тройной интеграл, криволинейные интегралы первого и второго рода.
учебное пособие, добавлен 23.04.2012История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Понятие линейных и нелинейных списков, иерархическое упорядочение элементов. Дерево - нелинейная структура, состоящая из узлов и ветвей и имеющая направление от корня к внешним узлам. Разработка программы представления бинарных деревьев в виде массива.
курсовая работа, добавлен 27.04.2011Иоганн Карл Фридрих Гаусс - величайший математик всех времен. Интерполяционные формулы Гаусса, дающие приближенное выражение функции y=f(x) при помощи интерполяции. Области применение формул Гаусса. Основные недостатки интерполяционных формул Ньютона.
контрольная работа, добавлен 06.12.2014История появления понятия "интеграла" и интегрального исчисления, его особенности и значение. Интеграл как один из основных инструментов работы с функциями. Обоснование необходимости выражения всех физических явлений в виде математической формулы.
презентация, добавлен 19.05.2014Алгоритм вычисления интегральной суммы для функции нескольких переменных по кривой АВ. Определение понятия криволинейного интеграла второго рода. Представление суммы интегралов двух функций вдоль кривой АВ как криволинейного интеграла общего вида.
презентация, добавлен 17.09.2013Понятие квадратичной формы и способы ее записи. Действительные и недействительные, вырожденные и невырожденные формы, ранг матрицы. Знакоопределенность квадратичных форм, определение ее миноров. Критерии положительной и отрицательной определенностей.
контрольная работа, добавлен 03.08.2010Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.
реферат, добавлен 11.03.2009Особенности нормальной формы линейного преобразования. Изучение собственных и присоединенных векторов линейного преобразования. Выделение подпространства, в котором преобразование А имеет только одно собственное значение. Анализ инвариантных множителей.
курсовая работа, добавлен 21.02.2010Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011Статическая характеристика элемента. Выполнение аналитической линеаризации заданной функции в определенной точке. Обратное превращение Лапласа заданной передаточной функции ОАУ. Преобразование дифференциального уравнения к нормальной форме Коши.
контрольная работа, добавлен 30.03.2015Изучение понятия о логической величине. Отличия общих, частных, единичных высказываний. Таблица истинности. Принципы использования простых и составных логических выражений. Вложенное ветвление. Определение наибольшего среди трех чисел неполного ветвления.
презентация, добавлен 09.10.2013