Исследование алгебраических сетей, порождающих совокупность вычислительных моделей
Исследование класса рассуждающих и рефлексивных сетей, позволяющих моделировать синхронные рассуждения нескольких субъектов. Разработка и доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
Подобные документы
Исследование этапов вычисления определенных интегралов с помощью формулы Ньютона-Лейбница. Нахождение первообразной подынтегральной функции. Доказательство основной теоремы анализа. Характеристика операций дифференциального и интегрального исчислений.
презентация, добавлен 18.09.2013- 102. Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012 Математическое моделирование и математизация знаний. Использование математических моделей. Компьютеры в математическом моделировании. Новые возможности математики. Аналитическое исследование математических моделей. Этапы вычислительного эксперимента.
контрольная работа, добавлен 27.12.2013Доказательство подлинности вспомогательной теоремы Ферма. Делимость чисел на основе сравнения по ненулевому рациональному модулю. Теорема Ферма для всех простых нечётных показателей переменных. Доказательство бесконечности регулярных простых чисел.
статья, добавлен 03.03.2018- 105. Теорема Пифагора
Первые учителя Пифагора. Учреждение пифагорейской школы. Идеалистическое учение в античной философии. Числа у пифагорейцев. Открытие теоремы Пифагором. Классические доказательства теоремы Пифагора. Математические трактаты Древнего Китая и Древней Индии.
реферат, добавлен 09.12.2011 - 106. Теорема Фалеса
Теорема Фалеса - одна из теорем планиметрии. Доказательство обобщенной теоремы (параллельные прямые отсекают на секущих пропорциональные отрезки). Другие геометрические теоремы, доказанные ученым. Их практическое использование при измерении расстояний.
презентация, добавлен 20.09.2012 Определение и характерные свойства мероморфной функции, исследование ее асимптотики. Изучение и доказательство теоремы единственности, а также методика получения конструктивной процедуры решения обратной задачи для пучков дифференциальных операторов.
статья, добавлен 22.02.2015Дослідження *-алгебр, асоційованих із зірчастими графами. Розгляд проблеми Г. Вейля, яка виникає про складанні двох ермітових матриць. Опис множини параметрів розширеного графу Динкіна. Структурні теореми для *-алгебр, породжених наборами проекторів.
автореферат, добавлен 28.09.2015- 109. Наследие Пифагора
Краткая биография Пифагора. Заповеди школы Пифагора, понятие совершенного и дружественного числа. Значение теоремы Пифагора в геометрии, ее различные доказательства (доказательство Гарфилда и пр.). О пифагорейских тройках и гиппократовых луночках.
доклад, добавлен 14.01.2015 Формула Архимеда для объема шара. Доказательство теоремы Ферма-Эйлера о представлении простых чисел в виде суммы двух квадратов. Построение циркулем и линейкой правильного семнадцатиугольника. Формула для определения площади треугольника по его сторонам.
методичка, добавлен 25.11.2013Обзор раздела геометрии планиметрии. Формулировка и доказательство теоремы Дезарга, Паскаля. Характеристическое уравнение взаимного расположения точки и прямой. Четырехугольник, вписанный в окружность. Определение точек пересечения противоположных сторон.
статья, добавлен 04.05.2012Разработка средств и методов построения формального описания будущего контента - одно из необходимых условий, которые должны выполняться при создании информационного образовательного пространства. Основные направления использования графовых моделей.
статья, добавлен 27.02.2019Изучение особенностей непосредственного подсчета вероятностей. Определение сущности статистической и геометрической вероятности. Характеристика центральной предельной теоремы. Исследование распределения случайных величин. Анализ теоремы Линдеберга.
контрольная работа, добавлен 30.03.2015Определение понятия числового ряда. Нахождение предела его общего члена. Доказательство теоремы необходимого признака сходимости числового ряда. Достаточные признаки сходимости рядов с положительными членами. Исследование сходимости гармонического ряда.
презентация, добавлен 18.09.2013Рассмотрение уравнений второго порядка, разрешенных относительно второй производной. Формулировка и доказательство теоремы Коши (о существовании и единственности решения дифференциального уравнения). Геометрический смысл теоремы, ее общее решение.
презентация, добавлен 17.09.2013Ознакомление с историей доказательства теоремы Ферма. Исследование и анализ особенностей равенства для трёх действительных целых положительных чисел. Рассмотрение и характеристика преобразования уравнения, позволяющего получить квадратное уравнение.
статья, добавлен 01.10.2015Исследование и анализ свойств оператор-функции задачи и доказательство теоремы единственности для случая, когда одна из сред имеет поглощение. Структура спектра задачи в случае сред без поглощения. Обоснование и реализация численного метода Галеркина.
автореферат, добавлен 26.01.2018Исследование функций при помощи производных и построение графиков. Необходимые и достаточные условия возрастания и убывания функции. Теорема и ее доказательство. Применение теоремы для убывающих функций. Подробное объяснение и решение задач.
лекция, добавлен 05.03.2009Составление системы нелинейных алгебраических уравнений, описывающей потоки на ветвях и узлах сети в стационарном режиме при передаче пакетов по транспортной магистрали сети связи. Расчет времени задержки и вероятности потерь пакетов между парами узлов.
статья, добавлен 28.01.2020Методика составления и решения системы линейных алгебраических уравнений, их графическое изображение. Теорема Кронекера-Канелли о признаках совместимости системы и ее доказательство. Метод Крамера и матричный метод решения неоднородной системы уравнений.
контрольная работа, добавлен 26.07.2009Теоремы о дифференцировании сложной функции двух переменных. Необходимое и достаточное условия экстремума функции нескольких переменных. Интегрирование тригонометрических, рациональных функций, некоторых видов иррациональностей. Задача и теорема Коши.
шпаргалка, добавлен 25.01.2016- 122. Интеграл движения
Понятие интеграла движения. Независимые интегралы движения для замкнутой системы. Асимптотическая аддитивность интегралов движения. Формулировка, доказательство теоремы Нётер. Некоторые замечания относительно теоремы Нётер. Сохранение аддитивной величины.
контрольная работа, добавлен 19.11.2017 Характеристика и сущности теории функций действительного переменного. Знакомство с основными теоремами, их доказательство. Анализ теоремы о произведениях конечного числа счетных множеств. Особенности теоремы, отображающей образ счётного множества.
контрольная работа, добавлен 25.12.2011Элементы косого четырехугольника и их свойства. Классические теоремы о замечательных точках косого четырехугольника. Зависимость между углами, сторонами и диагоналями косого четырехугольника. Основные признаки, свойства и теоремы косого параллелограмма.
дипломная работа, добавлен 08.03.2013Понятие независимых событий и условных вероятностей, их примеры. Характеристика основных свойств независимых событий. Независимость в совокупности. Теорема сложения и умножения для n событий. Формула полной вероятности и доказательство теоремы Байеса.
презентация, добавлен 21.09.2017