Булева алгебра и логические схемы для коньюнктора, дезъюнктора, инвентора, равнозначности и неравнозначности с положительной и отрицательной логикой
История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
Подобные документы
Решение системы линейных уравнений методом Гауса. Преобразования расширенной матрицы, приведение ее к треугольному виду. Средства матричного исчисления. Вычисление алгебраических дополнений матрицы. Решение матричного уравнения по правилу Крамера.
задача, добавлен 29.05.2012Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
курсовая работа, добавлен 22.05.2015Представление булевой функции в виде дизъюнктивной нормальной формы. Выражение всех логических операции в формуле через конъюнкции, дизъюнкции и отрицания. Сокращение количества слагаемых, входящих в формулу и количества переменных, входящих в слагаемое.
контрольная работа, добавлен 06.05.2013Вычисление комплексных чисел, модуля и аргумента, извлечение кубических корней. Нахождение синусов и косинусов в алгебраическом виде. Решение системы уравнений с помощью формул Крамера, вспомогательных определителей и средствами матричного исчисления.
контрольная работа, добавлен 11.05.2013- 106. Линейная алгебра
Обратная матрица. Матричные уравнения. Некоторые свойства определителей. Решение квадратной системы. Фундаментальная система решений. Метод Крамера. Если D=0 и не все Dxj=0, то система несовместна.
лабораторная работа, добавлен 07.10.2002 - 107. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 Открытия О. Хайяма в области астрономии, математики и физики. Трактат о доказательствах задач алгебры и алмукабалы. Комментарии к трудностям во введениях Евклида. Закономерности поведения корней, приложимые к каждому конкретному уравнению (Э. Галуа).
реферат, добавлен 14.12.2009Подборка нелепых отрывков из конспектов студентов механико-математического факультета и некоторых казусных высказываний их преподавателей. Анализ теории вероятностей и теории функции Зильберта. Методика вычисления интегралов методом подгонки под ответ.
учебное пособие, добавлен 28.03.2010- 110. Линейная алгебра
Вычисление определителя, алгебраических дополнений. Выполнение действий над матрицами. Решение систем линейных уравнений по формулам Крамера, методом Гауса. Определение плана выпуска химикатов на заводе. Составление экономико-математической модели задачи.
контрольная работа, добавлен 25.03.2014 Линейная алгебра. Комплексные числа. Деление отрезка в данном отношении. Площадь треугольника и многоугольника. Сферические и цилиндрические поверхности. Замечательные и вычислительные пределы. Производства и дифференциал. Построение графика функций.
методичка, добавлен 19.06.2015Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Методы оценки погрешности интерполирования. Интерполирование алгебраическими многочленами. Построение алгебраических многочленов наилучшего среднеквадратичного приближения. Численные методы решения задачи Коши для обыкновенных дифференциальных уравнений.
лабораторная работа, добавлен 14.08.2010Элементы линейной алгебры. Виды матриц и операции над ними. Свойства определителей матрицы и их вычисление. Решение систем линейных уравнений в матричной форме, по формулам Крамера и методу Гаусса. Элементы дифференциального и интегрального исчислений.
учебное пособие, добавлен 06.11.2011Понятия локальных экранов и формаций, основанных на определении центральных рядов, их роль в теории формаций конечных групп, мультиколец и других алгебраических систем. Определение мультикольца, его идеала, централизатора, теоремы и их доказательства.
дипломная работа, добавлен 18.09.2009Роль Леонарда Эйлера в математическом образовании в академической образовательной системе. Основная цель и принципы обучения в гимназии. Руководство к арифметике для употребления в гимназии при Императорской академии наук. Начальные основания алгебры.
презентация, добавлен 20.09.2015Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010- 118. Алгоритм муравья
Механизмы реализации эвристических алгоритмов муравьиной колонии. Основная идея - использование механизма положительной обратной связи, помогающего найти наилучшее приближенное решение в сложных задачах оптимизации. Области применения алгоритма муравья.
реферат, добавлен 07.05.2009 - 119. Случайные события
Опыт со случайным исходом. Статистическая устойчивость. Понятие вероятности. Алгебра событий. Принцип двойственности для событий. Условные вероятности. Формулы сложения и умножения вероятностей. Формула Байеса. Пространство элементарных событий.
реферат, добавлен 03.12.2007 Расчет денежных расходов предприятия на выпуск изделий, при выражении их стоимости при помощи матриц. Проверка совместимости системы уравнений и их решение по формулам Крамера и с помощью обратной матрицы. Решение алгебраических уравнений методом Гаусса.
контрольная работа, добавлен 28.09.2014- 121. Численное интегрирование системы дифференциально-алгебраических уравнений с запаздывающим аргументом
Исследование численного решения начальной задачи для системы дифференциально-алгебраических уравнений с запаздывающим аргументом. Условия преобразования задачи к аргументу, обеспечивающему наилучшую обусловленность соответствующей системы уравнений.
статья, добавлен 12.10.2010 Геометрическая интерпретация методов Ньютона, итерации и спуска. Определение корня уравнения с заданной степенью точности. Решение систем нелинейных алгебраических уравнений. Нахождение эквивалентного преобразования для выполнения условия сходимости.
курсовая работа, добавлен 14.01.2015Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009Понятие и задачи контрольной работы, ее основные достоинства и недостатки. Теоретические вопросы, выносимые на контроль на тему "Векторный метод в решении задач". Демонстрационный вариант контрольной работы по алгебре. Определение уровня знаний студентов.
контрольная работа, добавлен 10.07.2014Характеристика видов математических уравнений - алгебраических и трансцендентных, их сравнение и отличительные особенности. Возможности метода замены неизвестного при решении алгебраических уравнений, применение в стандартных и нестандартных ситуациях.
контрольная работа, добавлен 21.09.2010