Исследование алгебраических сетей, порождающих совокупность вычислительных моделей
Исследование класса рассуждающих и рефлексивных сетей, позволяющих моделировать синхронные рассуждения нескольких субъектов. Разработка и доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
Подобные документы
Матрица коэффициентов при неизвестных. Матричный способ решения системы. Вычисление алгебраических дополнений. Побочные определители системы, разложенные по столбцу свободных членов. Доказательство теоремы Кронекера-Капелли. Изучение понятия определителя.
лекция, добавлен 29.09.2013Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
презентация, добавлен 17.04.2013Разработка теоремы, утверждающей, что заданная структура определяет на многообразии D структуру косимплектического Би-метрического многообразия тогда, когда распределение D многообразия M является распределением нулевой кривизны. Доказательство теоремы.
статья, добавлен 02.03.2018Равносильность уравнений с параметрами. Теоремы о равносильных преобразованиях уравнений, их доказательство и следствие. Характеристика равносильности неравенств с параметрами, их основные теоремы, определение из лемм, доказательства и следствия.
лекция, добавлен 01.09.2017Биография П. Ферма и его вклад в развитие новых отраслей математического анализа, аналитической геометрии и теории вероятностей. История Большой теоремы Ферма. Доказательство леммы 1 (Жермен) и леммы 2 (вспомогательной). Доказательство теоремы Ферма.
реферат, добавлен 30.10.2010Применение численных методов при решении задач, направленных на исследование определенных объектов математического анализа. Обоснование необходимости применения информационных технологий при реализации рассматриваемых вычислительных алгоритмов.
статья, добавлен 21.06.2018Описание алгебраических и тригонометрических многочленов на некотором интервале. Формулирование для них теоремы Чебышева об аппроксимации функций. Рассмотрение произвольной, непрерывной на [a,b] вещественной функции и обобщенной теоремы Валле-Пуссена.
реферат, добавлен 06.05.2014Анализ видов регрессионных моделей, изучение алгоритмов оценки их точности. Математическое описание информационной системы оценки точности регрессионных моделей. Анализ программной реализации информационной системы оценки точности регрессионных моделей.
статья, добавлен 16.07.2018Понятие абстрактной группы. Свойства алгебраических операций. Реализация абстрактной группы как группы преобразований. Доказательство теоремы Коши, Лагранжа. Теорема о подгруппах конечной циклической группы. Смежные классы, классы сопряженных элементов.
реферат, добавлен 24.06.2010Принципы построения интеллектуальных систем распознавания образов, контроля качества и прогнозирования. Разработка модели обучения. Поиск оптимальных значений параметров синтеза нейро-нечетких сетей. Использование вероятностного подхода с зацикливанием.
статья, добавлен 26.03.2016Обзор моделей прогнозирования заболеваемости с помощью интернет данных. Применение машинного обучения, нейронный сетей. Прогнозирование эпидемиологического индекса гриппа: хранение данных, поисковые запросы из Яндекс. Вычисление среднеквадратичной ошибки.
дипломная работа, добавлен 10.12.2019Составление математических моделей статики и динамики объектов с сосредоточенными и распределенными координатами. Исследование алгоритмов генерации псевдослучайных процессов для целей имитационного моделирования. Конечномерные задачи оптимизации.
учебное пособие, добавлен 28.11.2013- 63. Конструирование моделей и построение краткосрочного перспективного прогноза выпуска специалистов
Анализ влияния приема абитуриентов и демографических факторов на выпуск специалистов Самарского государственного технического университета по годам и специальностям. Построение математических моделей, позволяющих краткосрочное прогнозирование выпуска.
статья, добавлен 28.01.2020 Нахождение условий существования стационарного распределения сетей массового обслуживания с групповыми перемещениями заявок в форме произведения смещенных геометрических распределений. Разработка открытой экспоненциальной сети массового обслуживания.
автореферат, добавлен 19.08.2018Операторы преобразования переменных. Классы моделей объекта, систем управления. Способы построения математических моделей. Особенности структурных моделей систем управления. Примеры математических моделей в проектировании объектов горной электромеханики.
реферат, добавлен 21.02.2015Роль полиномиальных систем в общей качественной теории автономных систем двух дифференциальных уравнений. Элементарное доказательство теоремы Берлинского А.Н. о числе особых точек второй группы системы. Исследование на ацикличность квадратичной системы.
статья, добавлен 05.07.2013Расчет корней алгебраического уравнения и системы алгебраических уравнений. Исследование функции одной или нескольких (двух) переменных, разложение функции в ряд Тейлора и ряд Фурье, вычисление производных и интегралов. Расчет вещественных корней.
учебное пособие, добавлен 10.04.2020Теорія операторних просторів, алгебр та модулів. Критерій того, щоб гільбертіан був лівим операторним модулем над алгеброю обмежених операторів у ньому. Лінійні базиси алгебр, породжених скінченною кількістю ідемпотентів, сума яких пропорційна одиниці.
автореферат, добавлен 11.10.2011Інваріантні складові моделей обводів. Теоретичні основи векторно-параметричного простору як середовища синтезу уніфікованих моделей. Розробка моделей внутрішнього набору агрегатів з урахуванням повноти геометричної інформації для їх відтворення.
автореферат, добавлен 28.07.2014Исследование сходимости ряда членов бесконечной геометрической прогрессии. Гармонический ряд, доказательство расходимости. Теоремы о непрерывности суммы, почленном интегрировании и дифференцировании функциональных рядов. Криволинейный интеграл 1-го рода.
лекция, добавлен 19.01.2014Открытие теоремы Пифагором. Легенда о заклании быков Пифагором. Некоторые классические доказательства теоремы Пифагора, известные из древних трактатов. Биография Пифагора. Древнекитайское, древнеиндийское, а также алгебраические доказательства теоремы.
реферат, добавлен 14.12.2012Узкая и широкая формулировка теоремы Ферма. Опровержение гипотезы Эйлера и открытой гипотезы Ландера-Паркина-Селфриджа. Проблема доказательства теоремы Ферма. Теорема Ферма в культуре и искусстве. Рассмотрение проектов доказательств теоремы Ферма.
реферат, добавлен 12.01.2020Построение продолженной почти контактной метрической структуры на распределении почти контактной метрической структуры. Полный лифт инфинитезимальной изометрии структуры как инфинитезимальная изометрия продолженной структуры. Доказательство теоремы.
статья, добавлен 25.11.2016Условия Фукса, необходимые и достаточные для отсутствия в интегралах критических алгебраических особых точек. Доказательство теоремы Пенлеве о том, что интегралы рассматриваемых интегральных уравнений не имеют подвижных существенно особых точек.
реферат, добавлен 20.01.2012Возникновение дифференциальной геометрии. Доказательство теорем о пределах. Исследование функции на экстремумы, свойства непрерывных функций и производные. Теоремы о дифференцируемых функциях. Биографии ученых, внёсших вклад в развитие дифференциалов.
курсовая работа, добавлен 11.02.2010