Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур
Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
Подобные документы
- 26. Теория множеств
Рассмотрение обозначений, принятых в теории множеств. Характеристические функции множеств, свойства операций над множествами. Применение понятия мощности множества для количественной характеристики множеств. Верхняя и нижняя грани числового множества.
курсовая работа, добавлен 07.05.2015 Математическое моделирование задач электроэнергетики с помощью аппарата линейной алгебры, теории графов. Расчёт установившихся режимов электрических систем, не содержащих и содержащих контур. Вероятностно–статистические методы в задачах электроснабжения.
курсовая работа, добавлен 13.11.2014Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012Аксиомы сравнения, противоречия, границ, воздействия. Аксиомы структуры информационного обмена. Свойства комплексных чисел и показательной функции. Способы укладки отрезков. Неожиданности комплексных чисел. Алгебраическая запись взаимодействия объектов.
учебное пособие, добавлен 10.03.2017Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Методика построения математической структурированной модели многомерной системы автоматического управления. Совершенствование методов построения характеристического многочлена. Анализ устойчивости многомерной системы управления по расположению его корней.
статья, добавлен 02.11.2013Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Использование матричной системы Matlab и ее приложения Simulink для моделирования динамических систем и устройств, в которых необходимо составлять и решать системы дифференциальных уравнений. Построение структурной схемы контура самонаведения ракеты.
статья, добавлен 27.02.2019Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
реферат, добавлен 15.05.2015Последовательность основополагающих стадий построения математической модели по заданному вектору. Методы приближенного описания объекта моделирования, выраженного с помощью математической символики по назначению. Применение уравнений "входа-выхода".
презентация, добавлен 09.12.2014Построение математической модели внутренней структуры дисперсных систем. Результаты исследования процесса структурообразования дисперсных систем и влияния различных факторов на поведение данных систем с использованием разработанной математической модели.
автореферат, добавлен 02.05.2018Описание упорядоченных структур в теории множеств с самопринадлежностью. Счетность количества обозначений. Несчетность множества точек на прямой и счетность количества n обозначений чисел на отрезке. Классические утверждения теоремы Гёделя о нечетности.
статья, добавлен 26.04.2019Совершенствование методики изучения уравнений как моделей реальных процессов. Теоретические основы математического моделирования, его виды и классификация. Уравнения как математические модели реальных ситуаций. Анализ учебников алгебры 5-9 классов.
дипломная работа, добавлен 05.07.2014Теория множеств с самопринадлежностью, свойства структурного изоморфизма при описании бесконечных самоподобных множеств. Анализ и описание свойств структурного изоморфизма, прикладная интерпретация этих свойств на предметной области формальных языков.
статья, добавлен 26.04.2019Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Общая математическая модель функционирования системы физической защиты объектов на основе теории множеств. Использование композиции соответствий и метода анализа иерархий. Описание нечетких соответствий. Анализ композиции нечетких гиперграфов модели.
статья, добавлен 11.01.2020Анализ структур многокоординатной ассоциативной среды (МКАС) и программируемых логических схем типа Field-Programmable Gate Array (FPGA). Оптимальное размещение структуры МКАС на матрице FPGA, выполнение декомпозиции ассоциативных ячеек МКАС на элементы.
статья, добавлен 27.02.2019Особенность выполнения различных операций с матрицами. Исследование скалярного и векторного произведения векторов. Применение матричных функций для решения задач линейной алгебры в MathCAD. Анализ однородных и неоднородных систем линейных уравнений.
презентация, добавлен 08.04.2018Сравнение двух парадигм в области методов статистического анализа данных. Отличие новой парадигмы математической статистики: переход от параметрических методов к непараметрическим, от числовых данных к нечисловым. Использование информационных технологий.
статья, добавлен 29.04.2017Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015- 48. Численный метод решения систем линейных алгебраических уравнений на основе метрического алгоритма
Реализация нового численного метода решения систем линейных алгебраических уравнений, основанного на целенаправленном хаотическом поиске, стохастических вычислениях и использовании облачных технологий. Особенность генерирования векторов на итерации.
статья, добавлен 12.01.2018 Описание свойства множества всех множеств – его несамоподобие, с использованием утверждения о количестве точек на прямой между двумя точками. Показано, что мощность множества всех множеств больше, чем мощность самоподобного множества; доказательства.
дипломная работа, добавлен 26.04.2019Основы теории конечных и бесконечных множеств. Основные классы равномощных множеств. Выведение понятия мощности множества на основе равномощности. Сравнение множеств, их объединение, пересечение, разность и дополнение. Сущность аксиоматической теории.
контрольная работа, добавлен 25.06.2012