Булева алгебра. Логические основы компьютера
Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
Подобные документы
Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Выборка, основные задачи математической статистики. Различные эмпирические функции распределения. Выборочные характеристики случайной величины. Примеры параметрических семейств распределений. Оценивание неизвестных параметров. Методы получения оценок.
контрольная работа, добавлен 19.03.2015Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020Понятия и операции реляционной алгебры. Создание реляционной модели данных. Последовательность шагов для получения результирующего отношения. Операции реляционной алгебры, обеспечивающие выполнение каждого шага. Способ объединения двух отношений.
краткое изложение, добавлен 23.09.2015- 106. Дуальные числа
Алгебра дуальных чисел. Операции сложения и вычитания для дуальных чисел. Разность параметров делимого и делителя. Основное свойство мультипликативности. Закон отображения области определения в область значений. Классическое определение дифференциала.
разработка урока, добавлен 21.08.2017 Доказательство теоремы по эквивалентности понятий "обобщение производной Шварца и исправленной производной по С. Шарипову". Особенности определения точки излома графика функции. Сущность теории классического анализа. Общее понятие об урчуктной функции.
статья, добавлен 20.05.2018- 108. Производящие функции
Теория формальных степенных рядов. Алгебра Коши, операция подстановки одного степенного ряда в другой. Понятие экспоненциального ряда. Основной принцип теории производящих функций. Производящие функции числа основных комбинаторных объектов и выборок.
курсовая работа, добавлен 23.04.2011 - 109. Теория вероятности
Понятие алгебры событий. Рассмотрение стохастического эксперимента определения вероятности. Свойства суммы и произведения событий. Методы расчета совместного появления двух величин. Основные формулы для исчисления функции Лапласа и теоремы Байеса.
методичка, добавлен 07.10.2015 Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.
лекция, добавлен 15.11.2017Арифметические операции над функциями, имеющими предел. Доказательство непрерывности функции в точке. Переход к пределу в неравенствах. Свойства непрерывной математической функции. Изучение классификации точек разрыва в арифметических неравенствах.
презентация, добавлен 16.10.2014Графики некоторых элементарных функций. Аналитическая геометрия на плоскости. Дифференциальное исчисление функций одной переменной. Понятие о векторах и скалярах. Векторная алгебра. Физические основы механики. Реальные газы, жидкости и твердые тела.
методичка, добавлен 10.02.2013Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011- 115. Основы математики
Принцип Даламбера для рядов и двойных интегралов. Расчет радиуса сходимости степенного ряда. Задача Коши для дифференциальных уравнений. Линейная алгебра и аналитическая геометрия. Обратная матрица системы уравнений с использованием формулы Крамера.
контрольная работа, добавлен 26.02.2012 Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.
книга, добавлен 07.08.2013Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021Предмет и основные методы математической статистики. Ее основные понятия. Эмпирическая функция распределения и гистограмма. Основные понятия выборочного метода. Закон распределения дискретной случайной величины. Понятие выборочного распределения.
реферат, добавлен 26.03.2010Решение системы линейных уравнений матричным способом и по правилу Крамера. Построение области допустимых решений. Решение закрытой транспортной задачи. Составление экономико-математической модели линейного программирования. Минимизация целевой функции.
контрольная работа, добавлен 11.04.2009Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Представление синусоидального тока комплексными величинами. Матричная алгебра, предмет и содержание ее исследований, современные тенденции и достижения. Понятие и характерные свойства матрицы размера. Вычисление обратных матриц различными способами.
реферат, добавлен 15.06.2013Моделирование вещественных параметров вычисления формулы золотого сечения, в случаях невозможности применения математической модели, удовлетворяющей описание прикладных задач. Исчисление поправочных коэффициентов в уравнении пропорции двух величин.
статья, добавлен 28.10.2015Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.
учебное пособие, добавлен 12.05.2014Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014