Нормальные формы функций алгебры логики
Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
Подобные документы
Понятия и операции реляционной алгебры. Создание реляционной модели данных. Последовательность шагов для получения результирующего отношения. Операции реляционной алгебры, обеспечивающие выполнение каждого шага. Способ объединения двух отношений.
краткое изложение, добавлен 23.09.2015- 77. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Рассмотрение становления геометрической алгебры в Древней Греции, ее применения при решении уравнений, доказательстве алгебраических тождеств, при построении фигур. Влияние геометрической алгебры на разрешение математических проблем в арабских странах.
статья, добавлен 26.04.2019Рассмотрение теоретических основ алгебры. Теорема о разложении правильной рациональной дроби на сумму простейших дробей. Интегрирование целых рациональных функций. Различные способы нахождения и математического анализа неопределенного интеграла.
лекция, добавлен 17.01.2014Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010Характеристика основных этапов развития теории чисел, вложение ученого К. Гаусса. Рассмотрений главных свойств алгебраических полей. Понятие трансцендентных чисел на основании исследований Ж. Лиувилля. Описание простого алгебраического расширения поля.
реферат, добавлен 05.01.2014Особенность выполнения различных операций с матрицами. Исследование скалярного и векторного произведения векторов. Применение матричных функций для решения задач линейной алгебры в MathCAD. Анализ однородных и неоднородных систем линейных уравнений.
презентация, добавлен 08.04.2018Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.
диссертация, добавлен 19.06.2015Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Определение и характеристика главных свойств тригонометрических и обратных тригонометрических функций. Изучение основных типов тригонометрических неравенств. Рассмотрение формул, упрощающих выражения и содержащих обратные тригонометрические функции.
контрольная работа, добавлен 15.01.2017- 87. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Зарождение счета в глубокой древности. Возникновение и формирование понятия натурального числа. Обоснование системы натуральных чисел. Натуральные числа, основные функции натуральных чисел. Эволюция развития и значение нуля для современной математики.
реферат, добавлен 27.03.2015Изучение свойств элементарных функций. Ознакомление с основными правилами построения графиков линейных, квадратичных и логарифмических функций. Рассмотрение деформации и преобразования графиков с параллельным переносом. Описание математических примеров.
лекция, добавлен 22.11.2013Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014Порядковая логика – математический аппарат, широко применяемый при решении многих задач обработки, преобразования непрерывной информации. Рекуррентные соотношения для математической модели систолического алгоритма реализации функций порядковой логики.
статья, добавлен 22.08.2020Зарождение счета в древности. Появление систем счисления. Письменная нумерация у древних народов. История возникновения понятия натурального числа. Счет как основа арифметики. Натуральный ряд чисел. Функции натуральных чисел. История возникновения нуля.
реферат, добавлен 29.01.2012- 93. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Практическое решение логических статистических задач с применением закона случайных величин, дисперсии, среднеквадратических отклонений, закона распределения оцениваемого параметра. Построение многоугольников, полигонов и графиков по найденным величинам.
задача, добавлен 10.12.2014Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Рассмотрение общих свойств функций. Изучение области определения и множества значений функции. Характеристика экстремальных свойств. Оценка отличий монотонных функций. Определение чётности, периодичности, обратимости функций в задачах с параметром.
курсовая работа, добавлен 22.02.2019Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017