Расслоения Гротендика и гомотопическая алгебра
Определение понятий производного сечения, полурасслоения и нетеровых категорий. Рассмотрение декартовых морфизмов, предрасслоений и сечений. Индексирование факторизационными категориями. Резольвенты факторизационных категорий. Бимодульное опрасслоение.
Подобные документы
Определение понятия секущей плоскости многогранника. Задания на построение сечения тетраэдра, пирамиды и многогранника плоскостью, заданной тремя точками. Сущность аксиоматического метода. Проверка правильности построения сечений многогранников.
презентация, добавлен 06.10.2011Изучение особенностей сечения тетраэдра заданной плоскостью. Характеристика главных аспектов и теорем стереометрии. Рассмотрение основных свойств аксиом планиметрии и прямой лежащей в плоскости. Методика построение сечения тетраэдра через три точки.
презентация, добавлен 18.12.2013Основные соотношения метода резольвенты. Задача вычисления ИКФ определённых характеристическим многочленом гамильтоновой матрицы. Исследование развития идей эффективного вычисления ИКФ на основе частотного метода. Тестирование на САУ большой размерности.
статья, добавлен 09.02.2013Аксиомы стереометрии, их сущность и содержание. Построение сечения тетраэдра и сечения через точки. Основные понятия и теоремы стереометрии. Построение сечения тетраэдра плоскостью, проходящей через возможные точки. Примеры задач для контрольной работы.
презентация, добавлен 13.04.2012Понятие эллипсоида, схема его сечения координатными плоскостями. Описание однополостного гиперболоида, его исследование с помощью сечений, эллиптический параболоид вращения. Сущность и отличительные черты гиперболического параболоида, его сечения.
презентация, добавлен 13.06.2015Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Линейные уравнения и неравенства с двумя неизвестными. Определители произвольного порядка. Системы линейных алгебраических уравнений. Векторы и линейные операции над ними. Аналитическая геометрия на плоскости. Преобразование декартовых координат.
методичка, добавлен 24.03.2015Основные геометрические характеристики поперечных сечений бруса, определяющие сопротивление различным видам деформаций. Моменты инерции плоских фигур и сложных сечений. Моменты инерций относительно параллельных осей. Определение направления главных осей.
конспект урока, добавлен 06.10.2016Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Размеры простых составляющих сложного сечения в зависимости от размеров стандартного профиля (швеллера). Определение главные центральные моменты инерции. Расчет радиусы инерции и сопротивления составного сечения относительно главных центральных осей.
задача, добавлен 04.04.2022Условие равенства нулю центробежного момента инерции. Площадь как простейшая геометрическая характеристика поперечного сечения. Основные координаты центра тяжести фигуры. Рассмотрение зависимости между моментами инерции при повороте осей треугольника.
реферат, добавлен 21.09.2017Рассмотрение особенностей проведения линейных операций над различными векторами с одинаковыми координатами. Ознакомление с условиями коллинеарности в координатной форме. Проекция вектора на ось в алгебре. Вычисления прямоугольной системы координат.
презентация, добавлен 01.09.2015Применение теории вероятности для решения технических задач, характеристика ее основных понятий. Основы теории множеств, алгебра событий. Аксиомы теории вероятностей, ее правила. Теорема сложения и умножения вероятностей. Формула полной вероятности.
лекция, добавлен 30.11.2016Определение и анализ положения главных центральных осей инерции составного сечения. Вычисление и характеристика главных центральных моментов инерции сечения. Изучение координат центров тяжести профилей и координат центра тяжести сечения на чертеже.
практическая работа, добавлен 20.03.2024- 17. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 - 18. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Понятие неопределенного интеграла и его свойства, метод подстановки и интегрирования. Формула Ньютона-Лейбница, замена переменной в определенном интеграле. Площадь плоской фигуры в декартовых координатах, расчет объема тела по площади заданного сечения.
курсовая работа, добавлен 10.07.2017- 21. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Формирование у обучающихся навыков решения задач по геометрии на построение сечений. Развитие у учащихся пространственного воображения, графической культуры. Суть комбинированного метода построения сечений многогранников, пирамиды и параллелепипеда.
разработка урока, добавлен 25.09.2013- 23. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Комп'ютерна алгебра і обчислювальний аналіз. Основні поняття диференціальної алгебри. Напівгрупи, автомати та формальні мови. Застосування методів Берисай де-Поя. Деференціальне рівняння Ріша. Система алгебраїчних рівнянь. Гратки та їх застосування.
курс лекций, добавлен 07.12.2011История возникновения и использования матриц в алгебре. Рассмотрение основных понятий и типов матриц. Основные арифметические операции над матрицами. Свойства умножения матриц на число. Вычисление определителей второго и третьего порядка в матрице.
контрольная работа, добавлен 15.11.2017