Дискретная алгебра

Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.

Подобные документы

  • Аксиоматическое построение множества натуральных чисел. Отношение делимости и его свойства. Полная и приведенная системы вычетов, теорема Эйлера и Ферма. Тригонометрическая форма записи комплексного числа. Действия над ними в алгебраической форме.

    учебное пособие, добавлен 19.01.2015

  • Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.

    курсовая работа, добавлен 14.05.2014

  • Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.

    учебное пособие, добавлен 12.05.2014

  • Проблема сложности вычислений как одна из важнейших проблем в дискретной математики. Множества и основные операции над ними. Основные законы операций над множествами. Прямые произведения и функции. Теорема Кантора. Матричный способ задания множеств.

    реферат, добавлен 16.05.2012

  • Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.

    лекция, добавлен 15.11.2017

  • Математическое моделирование задач электроэнергетики с помощью аппарата линейной алгебры, теории графов. Расчёт установившихся режимов электрических систем, не содержащих и содержащих контур. Вероятностно–статистические методы в задачах электроснабжения.

    курсовая работа, добавлен 13.11.2014

  • Особенности контроллеров нечеткой логики как важного применения теории нечетких множеств. Общая структура нечеткого микроконтроллера. Описание лингвистической переменной и функции принадлежности. Принципы работы мобильного робота с нечеткой логикой.

    реферат, добавлен 17.07.2013

  • Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.

    реферат, добавлен 25.05.2017

  • Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.

    статья, добавлен 11.11.2018

  • Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.

    учебное пособие, добавлен 30.07.2013

  • Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.

    диссертация, добавлен 19.06.2015

  • Представление синусоидального тока комплексными величинами. Матричная алгебра, предмет и содержание ее исследований, современные тенденции и достижения. Понятие и характерные свойства матрицы размера. Вычисление обратных матриц различными способами.

    реферат, добавлен 15.06.2013

  • Основы теории конечных и бесконечных множеств. Основные классы равномощных множеств. Выведение понятия мощности множества на основе равномощности. Сравнение множеств, их объединение, пересечение, разность и дополнение. Сущность аксиоматической теории.

    контрольная работа, добавлен 25.06.2012

  • Теория графов как один из разделов дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Методика решения задач календарно-сетевого планирования и управления. Сущность алгоритма Форда-Фалкерсона.

    лабораторная работа, добавлен 28.05.2015

  • Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.

    статья, добавлен 29.07.2017

  • Поле как множество, содержащее не менее двух элементов, на котором заданы две бинарные алгебраические операции – умножение и сложение. Варианты построения множества рациональных чисел. Элементарное понятие о дробном числе. Введение правил сравнения.

    методичка, добавлен 17.09.2014

  • Линейная и векторная алгебра, уравнения прямой на плоскости. Кривые второго порядка, дифференциальная геометрия и предел функции в точке. Виды интегралов и дифференциальные уравнения в частных производных. Дискретная математика и теория вероятностей.

    учебное пособие, добавлен 11.02.2015

  • Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.

    контрольная работа, добавлен 22.10.2013

  • Сущность и значение предикатов, отношений. Определение кванторов, их виды и взаимосвязи. Построение исчисления предикатов. Специфика логического следования, выводимость и доказуемость. Категорический силлогизм и другие умозаключения дедуктивной логики.

    курсовая работа, добавлен 08.02.2011

  • Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.

    контрольная работа, добавлен 01.01.2013

  • Понятие индивидуальных предпочтений и удовлетворяющих ряд свойств, описываемых бинарными отношениями. Очерк развития ординального подхода в рамках математической логики. Анализ специальных классов линейного порядка. Свойства матриц смежности графов.

    лекция, добавлен 29.09.2013

  • Понятие алгебры событий. Рассмотрение стохастического эксперимента определения вероятности. Свойства суммы и произведения событий. Методы расчета совместного появления двух величин. Основные формулы для исчисления функции Лапласа и теоремы Байеса.

    методичка, добавлен 07.10.2015

  • Строение абелевых групп симметрий хиггсовского потенциала в вакууме для N-дублетной хиггсовской модели. Типы центральных простых конечномерных некоммутативных йордановых супералгебр. Конструкция кольца частных для обобщенной алгебры Новикова-Пуассона.

    научная работа, добавлен 28.10.2018

  • Основные понятия теории вероятностей, пространство случайных и элементарных событий. Операции над событиями (сумма, разность, произведение) и свойства операций. Сущность алгебры и сигма-алгебры событий, аксиоматическое построение теории вероятностей.

    реферат, добавлен 25.02.2011

  • Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.

    статья, добавлен 25.12.2021

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.