Функции алгебры логики (булевы функции)
Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
Подобные документы
Оценка раздела математики, который можно охарактеризовать как обобщение и расширение арифметики. Обзор происхождения алгебры на земле. Исследование её развития в разных странах со временем. Определение назначения алгебры и её применения в жизни человека.
реферат, добавлен 19.10.2016Структурный анализ надежности систем. Методы расчета систем с последовательной структурой. Суть параллельной структуры. Расчет надежности систем с параллельной и смешанной структурами. Описание условий работоспособности с помощью функций алгебры логики.
лекция, добавлен 09.09.2017Особенности декартовой системы координат в трехмерном пространстве. Понятие предела, непрерывность функции нескольких переменных. Свойства функций непрерывных в ограниченной замкнутой области. Определение частной производной функции нескольких аргументов.
контрольная работа, добавлен 29.05.2015Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014Определение приведенного квадратного уравнения и неполного квадратного уравнения, алгоритмы их решения. Расчет формулы дискриминанта, корней квадратного уравнения и теоремы Виета. Методы решения: разложение на множители, введение новой переменной и др.
конспект урока, добавлен 08.01.2016Особенность выполнения различных операций с матрицами. Исследование скалярного и векторного произведения векторов. Применение матричных функций для решения задач линейной алгебры в MathCAD. Анализ однородных и неоднородных систем линейных уравнений.
презентация, добавлен 08.04.2018Теоремы о дифференцировании сложной функции двух переменных. Необходимое и достаточное условия экстремума функции нескольких переменных. Интегрирование тригонометрических, рациональных функций, некоторых видов иррациональностей. Задача и теорема Коши.
шпаргалка, добавлен 25.01.2016Изучение матриц и линейных уравнений как основных элементов линейной алгебры. Описание элементов векторной алгебры. Исследование основ аналитической геометрии на плоскости и в пространстве. Составляющие производных, функций и математического анализа.
курс лекций, добавлен 23.09.2012Элементы линейной алгебры и аналитической геометрии. Дифференциальное исчисление функции одной и нескольких переменных. Комплексные числа, уравнения математической физики. Элементы теории вероятностей и математической статистики, дискретная математика.
учебное пособие, добавлен 02.12.2014Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013- 111. Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012 Определение бэта–функций интегралом Эйлера первого рода. Гамма-функции, определяемые интегралом Эйлера второго рода как удобное средство для вычисления некоторых интегралов. Производная гамма функции и вывод формулы Стирлинга, вычисление интегралов.
реферат, добавлен 30.10.2010Понятие степенного ряда и области его сходимости. Введение функций С(x) и S(x), формулы их сложения и вывод основных свойств. Тригонометрические функции как решения системы двух дифференциальных уравнений первого порядка. Применение рекуррентных формул.
курсовая работа, добавлен 09.03.2012- 114. Основы математики
Применение правила Лопиталя к неопределенностям. Составление уравнения касательных к гиперболе. Исследование функции, нахождение экстремумов и построение ее графиков. Вычисление интеграла заменой переменных и с использованием формулы Ньютона-Лейбница.
контрольная работа, добавлен 17.02.2011 Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017Теоретические основы изучения функциональной линии в курсе алгебры основной школы. Понятие функции, способы её задания и исследования. Изображение замкнутых кривых на координатной плоскости. Методика изучения линейной, квадратной и кубической функции.
методичка, добавлен 30.01.2016Классификация и основные типы линейных интегральных уравнений. Решение уравнения Вольтерра и Фредгольма. Свойства характеристических чисел и собственных функций самосопряженного интегрального уравнения. Билинейное разложение для самосопряженных ядер.
курс лекций, добавлен 08.11.2012Векторное уравнение прямой линии и плоскости. Формулы и правила для вычисления частных производных для вектор-функций. Необходимое и достаточное условие непрерывности вектор-функции. Понятие определенного интеграла, параметрические уравнения кривой.
лекция, добавлен 01.09.2017Рассмотрение особенностей арифметической и геометрической прогрессий. Таблица значений тригонометрических функций некоторых углов. Характеристика физических основ механики. Изучение законов электростатики. Основы электрического тока в металлах и газе.
учебное пособие, добавлен 13.01.2014- 120. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 - 121. Гамма-функция Эйлера
Построение гамма-функции, отталкиваясь от функционального уравнения. Основные свойства гамма-функции и ее использование (вычисление эйлерова интеграла первого рода, или бета-функции). Асимптотическое поведение гамма-функции и получение формулы Стирлинга.
курсовая работа, добавлен 22.04.2011 Понятие непрерывной функции y=f(x) на промежутке Х. Доказательство непрерывности функции y=cos(x) на всей числовой оси с использованием формулы разности косинусов. Геометрический смысл теоремы о существовании нуля. Метод приближенного решения уравнения.
презентация, добавлен 21.09.2013Порядковая логика – математический аппарат, широко применяемый при решении многих задач обработки, преобразования непрерывной информации. Рекуррентные соотношения для математической модели систолического алгоритма реализации функций порядковой логики.
статья, добавлен 22.08.2020Определение предела последовательности и предела функций в математике. Бесконечно малые и большие функции и их свойства. Предел постоянной величины равен самой постоянной. Вычисление постоянного множителя. Непрерывность функций нескольких переменных.
презентация, добавлен 02.04.2015Основы теории множеств, переключательных функций, комбинаторного анализа и теории графов. Диаграммы Эйлера, операции над множествами. Бинарные отношения и отображения. Свойства элементарных булевых функций. Основные понятия и определения комбинаторики.
учебное пособие, добавлен 11.10.2014