Коэффициенты Дынкина когомологических операций Адамса
Получение дополнительной когомологической информации об операциях Адамса в К-теории. Поиск формулы для вычисления коэффициентов Дынкина операций Адамса. Образующие элементы алгебры когомологии однородного пространства. Анализ доказательства теоремы.
Подобные документы
Общая постановка задачи решения обыкновенных дифференциальных уравнений. Метод Адамса для решения систем обыкновенных дифференциальных уравнений. Анализ погрешности, основные достоинства и недостатки метода Адамса решения дифференциальных уравнений.
курсовая работа, добавлен 11.06.2014Наличие высокого порядка аппроксимирующих формул - одна из наиболее специфических особенностей современных численных алгоритмов решения задачи Коши. Характеристика и методика расчета явных экстраполяционных уравнений Адамса-Башфорта третьего порядка.
курсовая работа, добавлен 27.11.2017Прогнозы протекания процессов в областях науки и техники. Разработка и использование методов прогноза и коррекции. Алгоритм решения систем линейных дифференциальных уравнений первого порядка пятиточечным методом прогноза и коррекции Адамса-Башфорта.
курсовая работа, добавлен 03.11.2010Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Исследование этапов вычисления определенных интегралов с помощью формулы Ньютона-Лейбница. Нахождение первообразной подынтегральной функции. Доказательство основной теоремы анализа. Характеристика операций дифференциального и интегрального исчислений.
презентация, добавлен 18.09.2013Основные понятия теории вероятностей, пространство случайных и элементарных событий. Операции над событиями (сумма, разность, произведение) и свойства операций. Сущность алгебры и сигма-алгебры событий, аксиоматическое построение теории вероятностей.
реферат, добавлен 25.02.2011Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Некоторые аспекты истории числовых комбинаторных задач. Комбинаторный анализ как самостоятельная математическая дисциплина. Пример задач разной сложности. Анализ задачи о магическом шестиугольнике Адамса, история ее решения. Парадокс дней рождения.
реферат, добавлен 28.03.2013Время жизни Пифагора Самосского, получение им образования. Доказательства теоремы Пифагора: способом достроения квадрата, методом построения и разложения. Доказательство, основанное на использовании понятия равновеликости фигур. Аддитивные доказательства.
реферат, добавлен 03.04.2017Применение аналитических математических методов при моделировании процессов в науке и технике. Решение практических задач по баллистике методами Эйлера, Рунге-Кутта и Адамса. Учёт локальных особенностей искомой функции дифференциального уравнения.
лекция, добавлен 21.09.2017Формулы и теоремы комбинаторики. Предмет теории вероятностей и статистическая устойчивость. Виды операций над событиями. Независимые испытания с несколькими исходами. Случайные величины и их распределение. Изучение числовых характеристик зависимости.
учебное пособие, добавлен 25.12.2013Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Формулы Абеля для Случая I и II Великой теоремы. План предметного доказательства Основного утверждения. Прототип Великой теоремы к части А и В. Внушительный текущий результат по элементарному доказательству Великой теоремы, новизна в подходе к проблеме.
книга, добавлен 01.12.2010Способы вычисления членов ряда Фибоначчи Sn, начиная с S6. Критерии затраты времени на нахождение ответа, количества операций над многозначными числами и объема вычислений. Выполнение операций над многозначными числами. Проведение поразрядных операций.
реферат, добавлен 13.07.2015Определение обыкновенного дифференциального уравнения. Приемы решения уравнений с разделёнными и разделяющимися переменными, задача Коша. Методы интегрирования Эйлера, Рунге-Кутта, Адамса. Геометрический смысл дифференциального уравнения первого порядка.
курсовая работа, добавлен 26.12.2012Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
презентация, добавлен 17.04.2013Систематизация и объединение знаний по геометрии. Основные теоремы об описанной и вписанной окружности, их доказательства. Формулы для вычисления площади правильного многоугольника, его стороны и радиуса вписанной окружности и решение с их помощью задач.
реферат, добавлен 30.10.2010Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.
контрольная работа, добавлен 28.01.2020Задача Коши для обыкновенного дифференциального уравнения. Одношаговые методы: Эйлера, Рунге-Кутты. Контроль точности получаемого численного решения. Дифференциальные уравнения с запаздывающим аргументом. Многошаговые методы Адамса-Бэшфортса-Моултона.
лекция, добавлен 17.01.2015Открытие теоремы Пифагором. Легенда о заклании быков Пифагором. Некоторые классические доказательства теоремы Пифагора, известные из древних трактатов. Биография Пифагора. Древнекитайское, древнеиндийское, а также алгебраические доказательства теоремы.
реферат, добавлен 14.12.2012Исследование операций — применение математических, количественных методов для обоснования решений во всех областях целенаправленной человеческой деятельности. Основные особенности исследования операций. Общая постановка задачи исследования операций.
реферат, добавлен 22.02.2023Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Понятие и назначение определителей, основные положения их теории, методы вычисления и свойства. Минор и алгебраическое дополнение элемента определителя. Метод эффективного понижения порядка. Сущность матриц и порядок проведения операций над ними.
контрольная работа, добавлен 26.07.2009Исследование вопросов линейной алгебры и физики для активного и неформального усвоения: основные понятия и теоремы, формулы, решение практических задач, упражнения для самостоятельной работы, для решения на практических занятиях и для домашних заданий.
краткое изложение, добавлен 25.03.2011Методика определения переносного ускорения, показатели и коэффициенты, используемые для его описания. Порядок вывода и доказательства теоремы Кориолиса. Расчет абсолютного ускорения. Матричная форма исследуемой теоремы в подвижной системе координат.
лекция, добавлен 15.03.2015