Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
Подобные документы
- 101. Понятие матриц
Сущность матрицы как совокупности m•n чисел, расположенных в виде прямоугольной таблицы из m строк и n столбцов. Главные свойства элементов, их порядок записи. Характеристика основных видов: треугольная, квадратная. Порядок сложения и умножения матриц.
курсовая работа, добавлен 03.12.2013 Введение понятия бинарного события. Рассмотрение событий, задаваемых булевыми функциями. Доказывание теоремы о вероятности события. Получение расчетных формул для условных вероятностей и формул Байеса, построение задач на применение полученных формул.
статья, добавлен 12.08.2020Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Применение теории вероятности для решения технических задач, характеристика ее основных понятий. Основы теории множеств, алгебра событий. Аксиомы теории вероятностей, ее правила. Теорема сложения и умножения вероятностей. Формула полной вероятности.
лекция, добавлен 30.11.2016Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
статья, добавлен 26.04.2019Особенности дизъюнктивной нормальной формы (ДНФ) в булевой логике — нормальной формы, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Использование в формуле закона двойного отрицания, закона де Моргана, закона дистрибутивности.
реферат, добавлен 16.02.2020Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Понятие, сущность, значение и происхождение алгебры, характеристика её деления, отличия от арифметики. Процесс возникновения и развитие науки у арабов и европейцев, история её совершенствования. Первооткрыватели алгебры, их деятельность и работы.
реферат, добавлен 16.09.2014Характеристика основных методов упрочения выражения, сущность закона отрицания и дистрибутирования. Порядок решения задач с помощью диаграммы Эйлера-Венна. Особенности построения таблицы истинности. Матрицы инцидентности и смежности, их сущность.
задача, добавлен 24.02.2014Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013- 111. Векторная алгебра
Рассмотрение особенностей проведения линейных операций над различными векторами с одинаковыми координатами. Ознакомление с условиями коллинеарности в координатной форме. Проекция вектора на ось в алгебре. Вычисления прямоугольной системы координат.
презентация, добавлен 01.09.2015 Повышение культуры мышления, формирование научного мировоззрения как цель изучения математики. Современное понятие математики. Применение алгебраических структур. Математические модели объектов. Проникновение математики в различные отрасли знаний.
статья, добавлен 25.07.2018Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
презентация, добавлен 17.04.2013- 114. Алгебра матриц
Исследование особенностей обозначения числовых матриц. Линейные операции над ними. Характеристика основ коммутативного закона умножения. Аспекты проверки свойства ассоциативности. Рассмотрение основных функций вырожденных и невырожденных матриц.
реферат, добавлен 19.06.2015 - 115. Векторная алгебра
Сущность векторной алгебры. Изучение математических операций с векторами (сложение, умножение). Понятие векторного пространства и линейной зависимости векторов, необходимость коллинеарности и компланарности. Скалярное произведение векторов и координаты.
конспект урока, добавлен 16.01.2010 Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Математическая логика как раздел математики, посвящённый изучению способов доказательств, утверждений, вопросов оснований математики. Умозаключение и его способы получения нового знания на основе некоторого имеющегося. Формальные аксиоматические методы.
курсовая работа, добавлен 21.04.2015Алгебра - раздел математики, представляющий собой обобщение и расширение арифметики. Вклад Диофанта в развитие алгебраической науки. История открытия правил для решения кубических уравнений. Сферы применения теории рекуррентных последовательностей.
контрольная работа, добавлен 30.05.2015Анализ основных понятий теории вероятностей. Прикладное применение знания теории вероятностей, обзор ее основные видов. Понятие случайного события, логика мышления по закону вероятности. Определение вероятности какого-либо события из повседневной жизни.
доклад, добавлен 13.03.2022- 120. Основы математики
Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017 - 121. Производящие функции
Теория формальных степенных рядов. Алгебра Коши, операция подстановки одного степенного ряда в другой. Понятие экспоненциального ряда. Основной принцип теории производящих функций. Производящие функции числа основных комбинаторных объектов и выборок.
курсовая работа, добавлен 23.04.2011 - 122. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 Рассмотрено понятие логистики, её принципы, сущность, область применения, виды логистических потоков, проведение операций, виды систем и их свойства. Уделено особое внимание объекту, предмету, задаче, цели логистики, и концепции основных положений.
презентация, добавлен 29.04.2014Характеристика особенностей сложения, вычитания и деления комплексных чисел. Изучение основных понятий и правил векторной алгебры. Анализ операций над скалярными и векторными функциями в декартовой, цилиндрической и сферической системах координат.
лекция, добавлен 21.09.2014Рассмотрение математики в античной Греции. Построение греками математики как целостной науки с собственной методологией, основанной на чётко сформулированных законах логики. Провозглашение о постижимости законов природы для человеческого разума.
реферат, добавлен 21.03.2012