Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
Подобные документы
Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.
презентация, добавлен 06.10.2015- 103. Алгебра логіки
Основні поняття алгебри логіки та її закони. Алгоритм побудови таблиць істинності для складних виразів. Схеми базових логічних елементів. Операції заперечення, диз'юнкції і кон'юнкції для обробки висловлювань. Правила перетворення логічних виразів.
практическая работа, добавлен 13.07.2017 Области применения равносильных преобразований алгоритмов. Схемы представления алгоритмов и алгебра событий. Соответствие событий переходам в инверсном графе. Способы регулярного выражения алгоритма. Определение последующих степеней символьных матриц.
статья, добавлен 08.12.2018Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016- 106. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Основні напрямки сучасної теорії зображень. Роль теорії матричних задач А.В. Ройтера. Обчислення матричної алгебри Aуслендера для однієї задачі про подібність пари матриць з деякими природними співвідношеннями. Формулювання класифікаційної теореми.
статья, добавлен 04.02.2017Основні поняття елементарної математики: алгебра, геометрія, тригонометрія. Елементи лінійної алгебри і аналітичної геометрії. Рішення систем лінійних однорідних рівнянь. Диференціальне числення функції однієї змінної. Поняття межі послідовності.
курс лекций, добавлен 08.09.2011Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Введение понятия бинарного события. Рассмотрение событий, задаваемых булевыми функциями. Доказывание теоремы о вероятности события. Получение расчетных формул для условных вероятностей и формул Байеса, построение задач на применение полученных формул.
статья, добавлен 12.08.2020Структура скінченовимірних алгебр, породжених лінійно пов'язаними ідемпотентами. Опис та аналіз двопараметричної множини коефіцієнтів, для яких алгебра, породжена четвіркою проекторів, лінійна комбінація яких дорівнює одиниці, має ненульові зображення.
автореферат, добавлен 13.09.2013Применение теории вероятности для решения технических задач, характеристика ее основных понятий. Основы теории множеств, алгебра событий. Аксиомы теории вероятностей, ее правила. Теорема сложения и умножения вероятностей. Формула полной вероятности.
лекция, добавлен 30.11.2016Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014Исследование жизни, научной и педагогической деятельности Сергея Николаевича Черникова. Алгебра и теория линейных неравенств, линейная оптимизация и приложения. Издание книги, посвященной юбилею С.Н. Черникова. Свертывание систем линейных неравенств.
статья, добавлен 26.04.2019Понятие линейной алгебры и две ее основные задачи: решение системы линейных алгебраических уравнений и определение собственных значений и собственных векторов матрицы. Численные методы решения данных задач: Гаусса, Крамера, итерации для линейных систем.
контрольная работа, добавлен 12.12.2012- 116. Линейная алгебра
Системы линейных уравнений и матрицы. Действия с комплексными числами. Смежные классы и теорема Лангранжа. Тригонометрическая форма комплексного числа. Понятия дискриминант и результант. Многочлены и ряды от переменной. Описание кольца степенных рядов.
курс лекций, добавлен 28.12.2013 Математическая логика как раздел математики, посвящённый изучению способов доказательств, утверждений, вопросов оснований математики. Умозаключение и его способы получения нового знания на основе некоторого имеющегося. Формальные аксиоматические методы.
курсовая работа, добавлен 21.04.2015Геометрична алгебра як інтеграційна основа навчання курсу алгебри майбутніх учителів математики. Аналіз різних підходів до використання історії математики. Дослідження розв’язань визначних математичних задач на обчислення коренів алгебраїчних рівнянь.
статья, добавлен 06.04.2019Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015- 122. Классическая алгебра
Аналитическое решение алгебраического уравнения n–ой степени (в радикалах). Примеры решения проблем собственных значений для нахождения функций от матриц и устойчивости линейных дифференциальных и разностных уравнений. Свойства доминирующего корня.
научная работа, добавлен 22.07.2014 Влияние К.Ф. Гаусса на Лобачевского во время обучения в университете. Получение степени магистра и избрание на должность ректора. Математические достижения великого ученого. Характеристика трудов и книг Лобачевского в области алгебры и геометрии.
биография, добавлен 07.05.2011Деление и история алгебры, происхождение ее термина. Древнейшие сочетания по алгебре, появление от арабов и ее развитие в Европе в эпоху Возрождения. Решение уравнений третей и четвёртой степени. Некоторые математические знаки и даты их возникновения.
реферат, добавлен 27.09.2014- 125. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012