Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур
Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
Подобные документы
Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017Системы знаков и их роль в математике. Оперирование математическими знаками. Введение нуля и развитие позиционной десятичной системы счисления. Символика Виета и Декарта и развитие алгебры. Развитие алгебры в Европе. Обозначение производной и интеграла.
курсовая работа, добавлен 01.03.2011История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Сущность и особенности оптимальных итерационных процессов. Характеристика итерационных методов первого и второго порядка. Использование итерационных методов линейных алгебраических уравнений. Решение систем нелинейных уравнений, методы уточнения корней.
дипломная работа, добавлен 06.10.2017Изображение декартового произведения множеств на координатной плоскости. Отражение отношения между множествами на кругах Эйлера. Разбиение множества на классы. Операция объединения и операция пересечения множеств. Декартово произведение n-множеств.
контрольная работа, добавлен 28.04.2016- 81. Математическое моделирование одномерных нелинейных дискретных с запаздыванием Базе графовых моделей
Исследование особенностей топологического моделирования нелинейных дискретных систем с постоянным запаздыванием Базе на основе совокупного применения аппарата динамических графов и рассмотрения систем с позиций динамичности структур и процессов.
статья, добавлен 24.03.2018 Исследование непараметрического оценивания минимальной длины периода и составляющей сигнала во временных рядах. Особенность вхождения периодической функции в параметрическое семейство. Характеристика определения естественных показателей размаха.
статья, добавлен 22.05.2017Источники и классификация погрешности. Прямые и итерационные методы решения систем линейных алгебраических уравнений. Вычисление собственных значений и собственных векторов матриц. Методы решения полной и частичной проблемы собственных значений.
учебное пособие, добавлен 15.11.2016Рассмотрение существующих систем искусственного интеллекта. Соотношение содержания понятий "данные", "информация", "знания" в АСК-анализе. Суть математической модели в АСК-анализе и ее частные критерии. Аналитические формы частных критериев знаний.
статья, добавлен 15.02.2020- 85. Алгебра множеств
Понятие и направления исследования множеств, их классификация и разновидности, свойства и отличия. Мощность множества и основные критерии ее оценки. Метрические пространства: внутренность, внешность и граница. Непрерывные отображения. Аксиомы счетности.
курс лекций, добавлен 28.03.2012 Исследование уравнения окружности и ее графика в декартовой системе координат. Формирование окружности как комплексной кривой, которая формируется частично действительными переменными, а частично мнимыми. Представление направленного замкнутого контура.
статья, добавлен 26.01.2019Понятие и структура матриц, их классификация и типы, подходы к анализу. Типы и свойства операций, производимых над матрицами: сложение, умножение. Понятие определителя матрицы, а также правила его вычисления. Системы линейных алгебраических уравнений.
лекция, добавлен 12.11.2017Логические связи и отношения, лежащие в основе логического вывода, с использованием языка математики. Объединение множеств. Аксиома Дедекинда. Понятие супремума. Обратная функция. Геометрическая интерпретация. Монотонная последовательность чисел.
контрольная работа, добавлен 12.10.2013Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Определение и направления исследования алгебры путей на связных графах. Описание их свойств и центральных элементов тел, частных для случая, когда граф является полным неориентированным графом без петель. Формулирование теорем и их доказательство.
статья, добавлен 31.05.2013Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019Почти контактные метрические многообразия специального вида. Тензорное поле кручения внутренней связности. Структуры, возникающие на распределение нулевой кривизны сасакиевых многообразий. Трансверсальная составляющая тензора кривизны некоторой связности.
статья, добавлен 17.07.2018Элементы линейной алгебры и аналитической геометрии. Дифференциальное исчисление функции одной и нескольких переменных. Комплексные числа, уравнения математической физики. Элементы теории вероятностей и математической статистики, дискретная математика.
учебное пособие, добавлен 02.12.2014Понятие математической модели, ее свойства и классификация. Обзор систем и основные принципы компьютерного моделирования. Расчет значений функций токов в указанной схеме с использованием системы MathCAD и построение их сводного графика на одном поле.
курсовая работа, добавлен 23.05.2013Классификация и особенности построения некоторых геометрических фракталов. Рассмотрение фрактальных структур в природе, фрактальной графики и фрактальных картин в интерьере. Возможности применения фракталов в естественных науках, радиотехнике, финансах.
реферат, добавлен 09.04.2017Построение математической модели управления и автоматизации технологических процессов в промышленности. Характеристика, структурная схема и свойства орграфов, использование формулы Мейсона для их преобразования. Определение передаточной функции контуров.
лекция, добавлен 22.07.2015- 97. Теорема Виета
Франсуа Виет - выдающийся французский математик, автор основ элементарной алгебры, буквенных обозначений и исчислений; формулы Виета — выражение коэффициентов многочлена через его корни; используются для проверки правильности нахождения корней многочлена.
презентация, добавлен 29.01.2012 Основы арифметических действий над натуральными числами. Операции декартового произведения множеств. Характеристика комплексных чисел и возможные операции над ними. Пересечение, объединение, дополнение, декартово произведение в курсе школьной математики.
реферат, добавлен 08.10.2012Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Использование стратегий, концепций, методов и механизмов эволюционного моделирования на основе бионического поиска при решении задач об экстремальных путях. Эффективность бионических алгоритмов при решении трудоемких задач оптимизации и аппроксимации.
статья, добавлен 30.05.2017