Функционально полные системы булевых функций

Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.

Подобные документы

  • Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.

    презентация, добавлен 21.09.2013

  • Бесселевы функции с любым индексом. Формулы приведения для бесселевых функций. Интегральное представление бесселевых функций с целым индексом. Ряды Фурье-Бесселя. Асимптотическое представление бесселевых функций для больших значений аргумента.

    курсовая работа, добавлен 22.09.2008

  • Введение новых динамических систем и их решений, специальных функций эллиптических и тета-функций, зависящих от одного параметра, разложение эллиптических функций Якоби в ряды Фурье (теоремы разложения). Рассмотрение их связи с функцией Вейерштрасса.

    курсовая работа, добавлен 26.04.2011

  • Отражение посредством математической функции связи между какими-либо значениями. Представление числовых функций на рисунках в виде графиков. Особенности алгебраической функции и многочленов. Практическое применение линейных и квадратических функций.

    презентация, добавлен 07.10.2014

  • Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.

    контрольная работа, добавлен 11.08.2009

  • Дифференциальное уравнение Бесселя и его интегралы. Рекуррентные формулы для данных функций. Применение теоремы Коши к интегралу Пуассона. Некоторые применения функций Бесселя. Задача на тепловое равновесие. Дифференциальное уравнение второго порядка.

    курсовая работа, добавлен 06.06.2013

  • Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.

    контрольная работа, добавлен 20.01.2011

  • Роль интерполяции функций, значения которой совпадают со значениями заданной функции в некотором числе точек. Интерполирование функции полиномами, непосредственно непрерывных функций на отрезке и в точке. Определение понятия погрешности интерполяции.

    курсовая работа, добавлен 10.04.2011

  • Общие свойства эллиптических интегралов и эллиптических функций. Параллелограммы периодов, основные теоремы. Эллиптические функции второго порядка. Вычисление длины дуги эллипса, эллиптические координаты, сумма вычетов эллиптической функции.

    курсовая работа, добавлен 26.04.2011

  • Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.

    контрольная работа, добавлен 28.02.2009

  • Метод Форда-Беллмана для нахождения расстояния от источника до всех вершин графа. Алгоритмы поиска расстояний и отыскания кратчайших путей в графах. Блочно-диагональный вид и матрица в исследовании системы булевых функций и самодвойственной функции.

    курсовая работа, добавлен 10.10.2011

  • Дифференциальное исчисление функции одной переменной: определение предела, асимптот функций и глобальных экстремумов функций. Нахождение промежутков выпуклости и точек перегиба функции. Примеры вычисления неопределенного интеграла, площади плоской фигуры.

    задача, добавлен 02.10.2009

  • Разложение в ряд Фурье. Определение функции и нахождение коэффициентов разложения. Проведение замены в интеграле. Условия теоремы о разложении функции в ряд Фурье. Примеры взятия интеграла по частям. Разложение в ряд Фурье четных и нечетных функций.

    презентация, добавлен 18.09.2013

  • Способы построения интерполяционных многочленов Лагранжа, основные этапы. Интерполирование функций многочленами Ньютона, способы построения графика. Постановка задачи аппроксимации функции одной переменной, предпосылки повышения точности расчетов.

    презентация, добавлен 18.04.2013

  • Нахождение пределов функций. Определение значения производных данных функций в заданной точке. Проведение исследования функций с указанием области определения и точек разрыва, экстремумов и асимптот. Построение графиков функций по полученным данным.

    контрольная работа, добавлен 11.03.2015

  • Образование множеством функций системы ортонормированных функций, условия ортогональности для заданной системы. Разложение в тригонометрический и комплексный ряды Фурье пилообразного сигнала. Генерирование программного произвольного дискретного сигнала.

    контрольная работа, добавлен 14.01.2016

  • Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.

    курсовая работа, добавлен 12.05.2009

  • Функции Бесселя с целым положительным и произвольным значком. Общее представление цилиндрических функций. Функции Бесселя второго и третьего рода. Цилиндрические функции с индексом, равным половине нечетного целого числа. Нули цилиндрических функций.

    курсовая работа, добавлен 03.04.2011

  • Общий обзор свойств функций, осмысление каждого свойства. Исследование функции на монотонность, ее наибольшее и наименьшее значения. Тестовое задание "Выпуклость функции". Примеры непрерывной функции D(f)=[-4; 6] и прерывной функции D(f)=(1; 7).

    презентация, добавлен 13.01.2015

  • Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.

    контрольная работа, добавлен 27.04.2011

  • Переключательные функции одного аргумента. Переключательные функции двух аргументов. Представление переключательной функции в виде многочленов. Совершенная дизъюнктивная нормальная форма переключательной функции. Функция в виде полинома Жегалкина.

    реферат, добавлен 27.11.2008

  • Сущность теории динамических систем и роль связи структуры системы с её динамикой. Конечные динамические системы и сокращение мономиальных систем. Проблема изучения Булевых мономиальных систем и линейных систем над конечными коммутативными кольцами.

    курсовая работа, добавлен 08.12.2010

  • Производные функций, заданных в явном и неявном виде. Исследование функций методами дифференциального исчисления. Точки перегиба и экстремума, градиент функции. Объем тела, образованного вращением фигуры и ограниченной графиками функций, вокруг оси.

    контрольная работа, добавлен 11.07.2013

  • Сущность метода деления многочлена на линейный двучлен. Особенности вычисления значений аналитической, логарифмической и показательной функций. Сущность теоремы Безу. Расположение вычислений по схеме Горнера. Вычисление значений синуса и косинуса.

    презентация, добавлен 18.04.2013

  • Рассмотрение понятия тождественного (единичного) оператора. Анализ методов решения линейных однородного и неоднородного уравнений. Ознакомление с определением эрмитовости оператора. Доказательство теоремы о свойствах ортогональности собственных функций.

    реферат, добавлен 16.08.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.