Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
Подобные документы
- 101. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012 Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.
курсовая работа, добавлен 18.11.2015Подобие второго рода. Осевая симметрия. Следствия векторных формул. Алгебра преобразований и векторных формул, примеры решения основных задач с их использованием. Исследование векторных выражений. Вывод формул разложения на элементарные преобразования.
статья, добавлен 04.05.2012Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
лекция, добавлен 22.10.2013Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013- 106. Векторная алгебра
Составление определителя из координат векторов и его вычисление. Решение системы уравнений методом Крамера. Определение длины ребра пирамиды по формуле расстояния между двумя точками. Нахождение координат точки, симметричной относительно прямой.
контрольная работа, добавлен 11.03.2014 Множества в векторных пространствах. Продолжение положительных функционалов и операторов. Равномерность и топология метрического пространства. Теорема Жордана и простые картины. Выпуклые функции и сублинейные функционалы, алгебра ограниченных операторов.
монография, добавлен 18.06.2015- 108. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 - 109. Высшая математика
Векторная алгебра и кривые второго порядка. Аналитическая геометрия в пространстве. Определенный интеграл и его геометрические приложения. Обобщение понятия определенного интеграла. Функции нескольких переменных. Двойные и несобственные интегралы.
учебное пособие, добавлен 03.10.2012 - 110. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 - 111. Теории множеств
Исследование теории графов в 30-е годы ХХ в. Двудольные графы и возможность их применения для наглядного представления паросочетаний. Изучение условия Холла. Трансверсали семейств множеств. Определение степени вершины. Паросочетания специального вида.
лекция, добавлен 29.09.2013 Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018- 113. Линейное уравнение
Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.
контрольная работа, добавлен 29.01.2012 Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.
презентация, добавлен 19.12.2015Линейная зависимость векторов. Уравнение прямой, проходящей через две точки. Общее уравнение кривых второго порядка. Каноническое уравнение гиперболы и эллипса. Квадратичные формы переменных. Тригонометрическая форма комплексного числа, Bзвлечение корня.
контрольная работа, добавлен 13.09.2009Дискретная (или прерывная) математика как наука. Анализ сущности и особенностей понятий функция, функционал и оператор, применяемых в дискретной математике. Примеры инъекции и композиции функций. Формы задания функций (для унарных и бинарных функций).
реферат, добавлен 23.01.2018Побудова поля комплексних чисел. Асоціативність, комутативність та дистрибутивність бінарних операцій. Еквівалентні перетворення системи векторів. Обчислення оберненої матриці елементарними перетвореннями. Критерій сумісності системи лінійних рівнянь.
учебное пособие, добавлен 16.07.2017Определение понятия линейной, неотрицательной и выпуклой комбинации точек плоскости и n-мерного пространства. Характеристика неравенства Коши-Буняковского. Изучение связных, несвязных, ограниченных, неограниченных множеств. Анализ компактных множеств.
курсовая работа, добавлен 21.09.2017Асоціативна алгебра з нетривіальним ортогональним оператором. Опис операторів на однопороджених нільпотентних алгебрах скінченної розмірності над довільним полем. Позначення радикалу Джекобсона алгебри. Аналіз нескінченновимірної асоціативної алгебри.
статья, добавлен 04.02.2017- 120. Теория графов
Основные понятия теории графов. Представления о планарном графе. Теорема Куратовского и другие характеризации планарности. Эйлеровы и гамильтоновы графы. Расчет количества израсходованного топлива за неделю каждым водителем по справочным данным задачи.
курсовая работа, добавлен 30.11.2013 - 121. Графы и автоматы
Неориентированные и ориентированные графы, основные понятия и теории. Задача о максимальном потоке в сети. Приложения теоремы о потоках. Теория автоматов, операции над языками. Критерий распознаваемости и нераспознаваемости языка конечным автоматом.
учебное пособие, добавлен 25.12.2011 - 122. Классическая алгебра
Аналитическое решение алгебраического уравнения n–ой степени (в радикалах). Примеры решения проблем собственных значений для нахождения функций от матриц и устойчивости линейных дифференциальных и разностных уравнений. Свойства доминирующего корня.
научная работа, добавлен 22.07.2014 Характеристика и сущности теории функций действительного переменного. Знакомство с основными теоремами, их доказательство. Анализ теоремы о произведениях конечного числа счетных множеств. Особенности теоремы, отображающей образ счётного множества.
контрольная работа, добавлен 25.12.2011Пространство элементарных событий. Случайное событие как результат опыта. Классическое и аксиоматическое определение его вероятности. Основные формулы комбинаторики. Независимые и зависимые явления. Априорные вероятности гипотез. Формула Байеса.
презентация, добавлен 29.09.2017- 125. Векторна алгебра
Основні поняття векторної алгебри, геометрична модель векторної величини. Лінійні операції з векторами, лінійна залежність та лінійна незалежність системи векторів. Визначення проекції вектора на ось. Прямокутна декартова система координат в просторі.
лекция, добавлен 11.02.2011