Использование преобразований для сравнения моделей на эквивалентность
Доказательство разрешимости отношений эквивалентности вычислительных моделей. Детерминированные конечные автоматы Рабина и Скотта. Новый подход при построении алгоритмов разрешения отношений эквивалентности. Однородные логические графы в математике.
Подобные документы
Аналіз математичних моделей для дискретних ієрархічних систем. Особливості застосування апарату гіперграфів та елементів теорії мультимножин для аналізу складних систем. Аналіз моделі складної системи у вигляді стратифікованого подання сімейства моделей.
статья, добавлен 28.02.2017Примеры решения логических, дедуктивных заданий: на нахождение истинного ответа, складывание и разрезание, восстановление исходного равенства, ребусы, соответствия и графы, комбинаторика, противоречия. Анализ и алгоритм нахождения правильных ответов.
реферат, добавлен 03.06.2014Моделирование – исследование объектов познания на их моделях. Классификация моделей и их суть: учебные, опытные, научно–технические, игровые, имитационные. Классификация моделей по фактору времени и по форме представления. Типы информационных моделей.
реферат, добавлен 12.03.2014Розробка ефективних математичних моделей, обчислювальних методів та інструментальних засобів для синтезу моделей багатофакторного оцінювання і вибору альтернатив. Вибір параметрів моделі у класах адитивних, мультиплікативних і змішаних схем компромісу.
автореферат, добавлен 25.02.2015- 80. Теория графов
Исследование математической теории о совокупности непустого множества вершин и ребер. Анализ кратности неориентированных и ориентированных дуг. Характеристика понятия эквивалентности при множестве вершин. Обоснование гомеоморфного подразбиения дуги.
лекция, добавлен 18.10.2013 - 81. Теория игр
Определение особенностей изучения формальных моделей принятия оптимальных решений в условиях конфликта. Характеристика распределения свойств кооперативной теории игр. Выявление последовательности ведения антагонистических и позиционных игр в математике.
реферат, добавлен 02.12.2015 - 82. Задача о жуках
Использование формулы Эйлера для плоской сети в задаче о механических жуках, характеристика их свойств. Определение гладкой кривой линии без точек возврата в математике. Доказательство формулы канадского математика Хонсбергера из университета "Ватерлоо".
статья, добавлен 04.05.2012 Математическое моделирование и математизация знаний. Использование математических моделей. Компьютеры в математическом моделировании. Новые возможности математики. Аналитическое исследование математических моделей. Этапы вычислительного эксперимента.
контрольная работа, добавлен 27.12.2013Постановка задачи и построение модели алгоритма, описание и доказательство его правильности. Описание переменных программы и расчет вычислительной сложности. Использование одномерного массива размерности, совпадение начального и конечного результата.
реферат, добавлен 30.10.2010Определение подобия треугольников в математике. Доказательство первого признака подобия треугольников. Теоремы второго и третьего признаков подобия и их доказательство. Пропорциональные отрезки в прямоугольном треугольнике. Формулировки теоремы Фалеса.
презентация, добавлен 25.04.2012Знакомство с понятием "граф" и его основными элементами. Составление графов по словесному описанию отношений между предметами и существами. Решение задач при помощи графов. Применение теории графов в анализе художественного текста и стилистике переводов.
презентация, добавлен 15.10.2016Понятие нелинейных моделей. Расчет систем управления по нелинейным моделям. Логические, оптимизирующие и параметрические нелинейные законы регулирования. Примеры динамических нелинейностей в законе регулирования. Системы с самонастройкой структуры.
реферат, добавлен 22.07.2015Построение абстрактных математических моделей, представленных на языке математических отношений в терминах определенной математической теории. Изучение системы массового обслуживания. Определение длительности обслуживания заявок. Дисциплины обслуживания.
презентация, добавлен 22.01.2016Использование команды plot и fplot при построении графиков. Решение дифференциальных уравнений с использованием классических алгоритмов численных методов Эйлера и Рунге-Кутта четвертого порядка. Построение графика значений по методам дифференцирования.
курсовая работа, добавлен 06.04.2014Рассмотрение основных понятий теории множеств. Сущность элементарных тождеств, их функции и признаки. Главные свойства операций над отношениями: эквивалентности, толерантности, частичности порядка. Характеристика теории графов: эйлеровы, гамильтоновы.
учебное пособие, добавлен 28.12.2013Изучение связи противоречия с идеей бесконечного числа в математике. Вычисление пределов, асимптотические обозначения в уравнениях и эквивалентные бесконечно малые функции. Использование выражение, содержащее асимптотические равенства теории алгоритмов.
курсовая работа, добавлен 28.05.2014Рассмотрение элементов в статистике априорных социально-экономических, демографических, медико-биологических и прочих показателей на определенных территориях. Суть факторного анализа в построении регрессионных моделей прогнозирования наркоситуации.
статья, добавлен 22.05.2017История аксиоматического метода построения научных теорий, его использование при создании неевклидовых геометрий. Особенности эллиптической геометрии Римана. Новый взгляд ученых Н.И. Лобачевского, К.Ф. Гаусса, Я. Бойяи на геометрию; оценка открытия.
статья, добавлен 26.04.2019Теория графов как способ решения задач. Задачи о кёнигсбергских мостах Эйлера. Способы представления графа. Эйлерова линия, проходящая по всем ребрам в точности по одному разу. Зарождение еще одной области в математики в ходе решения головоломок.
контрольная работа, добавлен 07.11.2013Проектирование информационных систем на основе графовых моделей. Анализ связей между элементами и множествами модели ИС в аспекте применения инвариантов теории графов. Использование соответствия Галуа при анализе системных связей информационных моделей.
статья, добавлен 24.07.2018Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.
презентация, добавлен 06.10.2015Численный эксперимент геометрической интерпретации трехдиагональных систем. Установление однозначной разрешимости в алгоритмах сплайновых аппроксимаций, при решении краевых задач для дифференциальных уравнений второго порядка и математической физики.
статья, добавлен 28.01.2019Понятие, применение матрицы в построении экономическо-математических моделей. Системы линейных алгебраических уравнений, решение систем по формулам Крамера. Элементы матричного анализа и аналитической геометрии. Взаимное расположение прямых на плоскости.
учебное пособие, добавлен 06.09.2017Расчет ранга инцидентности группы типа pn*p. Оценка ранга инцидентности рассматриваемой группы. Некоторые свойства непримарных групп, связанные с I-рангом. Конечные неабелевы р-группы I-ранга 4, покрываемые тремя подгруппами. Конечные неабелевы группы.
статья, добавлен 26.04.2019Цели, факторы, интервалы регрессии. Начальное формирование и оптимизация уравнений. Практическое построение регрессионных моделей. Примеры построения моделей двумерной и четырехмерной функционально-факторной нелинейной регрессии программой "Тренды ФСП-1".
статья, добавлен 03.11.2015