Алгебра логики

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

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

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

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

  • Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.

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

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

    методичка, добавлен 18.05.2010

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

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

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

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

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

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

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

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

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

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

  • Способы задавания функции: табличный, графический и аналитический. Область определения и область значений функции, промежутки ее знакопостоянства. Свойства постоянной функции. Множества значений функции y=arctgx. Основные свойства функции y=sinx.

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

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

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

  • Изучение свойств геометрических объектов при помощи алгебраических методов. Основные операции над векторами. Умножение вектора на отрицательное число. Скалярное произведение векторов. Нахождение угла между векторами. Нахождение координат вектора.

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

  • Предел для функции действительного аргумента и для функции комплексного переменного. Формулировка необходимого условия дифференцируемости функции комплексного переменного (условие Коши-Римана). Понятия и примеры правильных и особых точек функции.

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

  • Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.

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

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

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

  • Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.

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

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

    методичка, добавлен 21.12.2011

  • Теория высшей алгебры в решении задач элементарной математики. Программы для нахождения частного и остатка при делении многочленов, наибольшего общего делителя двух многочленов, производной многочлена; разложения многочленов на кратные множители.

    дипломная работа, добавлен 09.01.2009

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

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

  • Логарифм как многозначная функция. Обозначение главного значения логарифма. Свойства логарифма на случай комплексного аргумента. Понятие обратных тригонометрических функций (арккосинуса, арктангенса, арккотангенса), практические примеры их вычисления.

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

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

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

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

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

  • Область определения и свойства функции (четность, нечетность, периодичность). Точки пересечения функции с осями координат. Непрерывность функции. Характер точек разрыва. Асимптоты. Экстремумы функции. Исследование функции на монотонность. Точки перегиба.

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

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

    методичка, добавлен 06.05.2010

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

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

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

    статья, добавлен 19.12.2006

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