Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
Подобные документы
Основы линейной и векторной алгебры. Пределы и непрерывность. Дифференциальное исчисление функций с одной и несколькими переменными. Зависимость производной от направления. Аналитическая геометрия и комплексные числа. Тригонометрическая форма записи.
курс лекций, добавлен 09.10.2013Теория множеств. Способы задания, операции над множествами. Основные понятия соответствия и функции. Понятие мультимножества. Основные понятия теории графов, способы их задания. Сильно связанные графы и их компоненты. Планарность и двойственность.
учебное пособие, добавлен 08.02.2015Теоретическое исследование векторов и линейные операции с ними. Базы на плоскости и в пространстве. Прямоугольная декартова система координат. Определение скалярного произведения. Необходимое и достаточное условие коллинеарности двух нулевых векторов.
книга, добавлен 23.11.2010Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Использование математического аппарата для описания физических процессов. Геометрическая интерпретация векторов. Правило треугольника и параллелограмма. Свойства скалярного и векторного произведения. Преобразование координат при повороте системы отсчёта.
учебное пособие, добавлен 19.03.2014Комп'ютерна алгебра і обчислювальний аналіз. Основні поняття диференціальної алгебри. Напівгрупи, автомати та формальні мови. Застосування методів Берисай де-Поя. Деференціальне рівняння Ріша. Система алгебраїчних рівнянь. Гратки та їх застосування.
курс лекций, добавлен 07.12.2011Анализ определений внутренних и внешних устойчивых множеств на графе с определением его ядра. Обзор построения нелокальных правил коллективных решений. Нахождение значений векторов турнирной матрицы, методом индивидуальных порядков линейной алгебры.
лекция, добавлен 29.09.2013Индукция в геометрии и комбинаторике. Иррациональность значений тригонометрических функций. Квадратный трехчлен и фазовая плоскость. Комплексные числа и операции с ними. Треугольник Паскаля и его свойства. Пути и отображения комплексной плоскости.
учебное пособие, добавлен 18.06.2015Математика в Древнем Вавилоне. Число во времена Пифагора и ранних пифагорейцев. Геометрическая алгебра в современности. Формулы сокращённого умножения. Квадрат суммы, разность квадратов. Геометрическое объяснение дистрибутивного закона умножения.
реферат, добавлен 26.12.2011Описание свойства транзитивности принадлежности для самопринадлежащих множеств. Доказательство теоремы о непротиворечивости теории множеств с самопринадлежностью. Алгебра скобок единого и многого. Отношение части и целого. Приложение к доказательству.
статья, добавлен 26.04.2019Комбинационный способ обработки информации. Минимизация по картам Карно. Запись и считывание результата с регистров с помощью импульсов синхронизации. Постоянное запоминающее устройство как реализация комбинационной схемы. Метод прямого считывания.
лекция, добавлен 22.10.2013Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013Нахождение функций принадлежности и представление в виде поэлементных суммы множества. Изображение графически их функций принадлежности. Нахождение аналитического выражения для функции принадлежности объединения множеств; геометрическое представление.
методичка, добавлен 19.03.2024Условия и особенности применения элементарной алгебры и тригонометрии в ряде случаев при решении задач на вычисление применение векторов. Методика составления плана решения, а также требования к данному процессу. Выделение неколлинеарных векторов.
реферат, добавлен 18.06.2015Определение и примеры мощности множеств. Определение бинарного отношения. Описание способов задания отношений. Характеристика свойств бинарных отношений. Изучение отношений эквивалентности и частичного порядка. Анализ свойств отображения функций.
лекция, добавлен 25.12.2016Алгебраически обоснованная гипотеза "блочного" протонно-нейтронного строения ядер атомов химических элементов. Логико-математический путь выведения алгебраических формул периодического закона, системная алгебра. Субстанционная самоорганизация материи.
научная работа, добавлен 28.02.2012Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Общая характеристика логических переключательных функций, построение их в таблицу истинности, описание и примеры создания стандартных видов функций, изучение основных принципов их минимизации и построения схем в различных базисах логических элементов.
реферат, добавлен 24.01.2014- 72. Алгебра множеств
Понятие и направления исследования множеств, их классификация и разновидности, свойства и отличия. Мощность множества и основные критерии ее оценки. Метрические пространства: внутренность, внешность и граница. Непрерывные отображения. Аксиомы счетности.
курс лекций, добавлен 28.03.2012 Графики некоторых элементарных функций. Аналитическая геометрия на плоскости. Дифференциальное исчисление функций одной переменной. Понятие о векторах и скалярах. Векторная алгебра. Физические основы механики. Реальные газы, жидкости и твердые тела.
методичка, добавлен 10.02.2013Определение сущности функции, областей ее определение и значения. Особенности аналитического и табличного способов задания функций. Рассмотрение основных свойств и графического отражения постоянной, линейной, степенной, обратной, сложной функций.
доклад, добавлен 23.05.2015Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015