Полиномы Жегалкина для логических операций
Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
Подобные документы
Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Разложение функции в ряд Фурье, поиск коэффициентов. Изменение порядка интегрирования, его предел. Расчет площади фигуры, ограниченной графиками функций, с помощью двойного интеграла, объема тела, ограниченного поверхностями, с помощью тройного интеграла.
контрольная работа, добавлен 28.03.2014Численные методы решения систем линейных уравнений: Гаусса, простой итерации, Зейделя. Методы аппроксимации и интерполяции функций: неопределенных коэффициентов, наименьших квадратов. Решения нелинейных уравнений и вычисление определенных интегралов.
курсовая работа, добавлен 27.04.2011Свойства делимости целых чисел в алгебре. Особенности деления с остатком. Основные свойства простых и составных чисел. Признаки делимости на ряд чисел. Понятия и способы вычисления наибольшего общего делителя (НОД) и наименьшего общего кратного (НОК).
лекция, добавлен 07.05.2013Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
контрольная работа, добавлен 06.05.2009Свойства куба, тетраэдра, октаэдра. Прямые и наклонные призмы. Учение о многоугольниках Пифагора. Деление циферблата часов. Создание колеса со спицами и астрономических сооружений. Виды и свойства пирамид. Теории построения правильных многоугольников.
презентация, добавлен 26.04.2015Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация, добавлен 23.12.2012- 83. Правила перевода из двоичной системы числения в восьмеричную и шестнадцатеричную системы счисления
Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.
презентация, добавлен 12.01.2014 Метод Форда-Беллмана для нахождения расстояния от источника до всех вершин графа. Алгоритмы поиска расстояний и отыскания кратчайших путей в графах. Блочно-диагональный вид и матрица в исследовании системы булевых функций и самодвойственной функции.
курсовая работа, добавлен 10.10.2011Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Использование формулы Тейлора для разложения основных элементарных функций в степенной ряд. Сущность форм Лагранжа и Пеано, примеры вычисление пределов функций. Особенности использования принципа разложения в ряд на ЭВМ в режиме реального времени.
курсовая работа, добавлен 29.04.2011Способы построения искусственного базиса задачи. Выражение искусственной целевой функции. Математическая модель задачи в стандартной форме. Получение симплекс-таблиц. Минимизации (сведения к нулю) целевой функции. Формы преобразования в задаче равенства.
задача, добавлен 21.08.2010Базовые действия над матрицами. Решение матричных уравнений с помощью обратной матрицы и с помощью элементарных преобразований. Понятия обратной и транспонированной матриц. Решение матричных уравнений различных видов: АХ=В, ХА=В, АХВ=С, АХ+ХВ=С, АХ=ХА.
курсовая работа, добавлен 09.09.2013Определение, свойства, виды и историческое происхождение матриц. Расчет определителя третьего порядка. Правило Саррюса для треугольников. Алгоритм построения и единственность обратной матрицы. Исследование линейных отображений векторных пространств.
контрольная работа, добавлен 12.12.2013Доказательство существования и единственности интерполяционного многочлена Лагранжа. Понятие лагранжевых коэффициентов. Способы задания наклонов интерполяционного кубического сплайна, его использование для аппроксимации функций на больших промежутках.
презентация, добавлен 29.10.2013Характерные особенности логарифмов, их свойства. Методика определения логарифма числа по основанию a. Основные свойства логарифмической функции. Множество всех действительных чисел R. Анализ функций возрастания и убывания на всей области определения.
презентация, добавлен 06.02.2012Алгебраические спирали в полярной системе координат. Построение первого витка спирали Архимеда. Интересные свойства логарифмической спирали. Семейство роз Гранди. Геометрические и механические свойства лемнискаты Бернулли. Способ построения кардиоиды.
статья, добавлен 08.05.2011- 93. Ряд Фурье
Условия разложения функций для тригонометрического ряда. Определение коэффициентов разложения с помощью ортогональности систем тригонометрических функций. Понятие периодического продолжения функции, заданной на отрезке. Ряд Фурье функции у=f(x).
презентация, добавлен 18.09.2013 Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.
презентация, добавлен 21.09.2013Использование теоретико-числового и алгебраического метода доказательства, с наглядной геометрической верификацией, который был изобретен П. Ферма. Верификация метода бесконечных (неопределенных) спусков, который применяется для доказательства теоремы.
научная работа, добавлен 11.01.2008Вид графов, используемых в теории электрических цепей, химии, вычислительной технике и в информатике. Основные свойства деревьев. Неориентированный граф. Алгоритм построения минимального каркаса. Обоснование алгоритма. Граф с нагруженными ребрами.
реферат, добавлен 11.11.2008Способы задания, предел и непрерывность функции. Свойства неопределенного интеграла. Понятие числового ряда и свойства сходящихся рядов. Порядок дифференциального уравнения. Случайные события и операции над ними. Классическое определение вероятности.
учебное пособие, добавлен 23.01.2014Определение и анализ многошаговых методов, основы их построения, устойчивость и сходимость. Постановка задачи Коши для обыкновенных дифференциальных уравнений. Метод Адамса, значение квадратурных коэффициентов. Применение методов прогноза и коррекции.
контрольная работа, добавлен 13.03.2013Понятие, типы и алгебра матриц. Определители квадратной матрицы и их свойства, теоремы Лапласа и аннулирования. Понятие обратной матрицы и ее единственность, алгоритм построения и свойства. Определение единичной матрицы только для квадратных матриц.
реферат, добавлен 12.06.2010