Алгебраические системы
Универсальная алгебра и реляционная система. Сигнатура алгебраической системы. Определение функций типа изоморфизм и гомоморфизм. Описание индуцированных операций. Теорема об описании гомоморфных образов. Лемма о конгруенции, порожденной гомоморфизмом.
Подобные документы
Анализ полной наблюдаемости нестационарной возмущенной дифференциально-алгебраической системы. Метод каскадного расщепления исходных пространств на подпространства. Формула для нахождения вектора состояний системы. Связь между входной/выходной функциями.
статья, добавлен 29.04.2017Общая характеристика логических переключательных функций, построение их в таблицу истинности, описание и примеры создания стандартных видов функций, изучение основных принципов их минимизации и построения схем в различных базисах логических элементов.
реферат, добавлен 24.01.2014История развития представления человека о числах – одна из ярких сторон становления человеческой культуры. Действия над комплексными числами в алгебраической форме. Комплексное число, сопряженное делителю. Нахождение корней уравнения и дискриминанта.
презентация, добавлен 15.06.2015Применение теории вероятности для решения технических задач, характеристика ее основных понятий. Основы теории множеств, алгебра событий. Аксиомы теории вероятностей, ее правила. Теорема сложения и умножения вероятностей. Формула полной вероятности.
лекция, добавлен 30.11.2016Исследование системы массового обслуживания в состоянии нормального функционирования системы, в состоянии "простой отказ" и в состоянии "сложный отказ". Определение вероятности нормального функционирования системы при минимальном времени восстановления.
реферат, добавлен 28.02.2016Аналитическая и дифференциальная геометрия. Исследования Гаусса по неевклидовой геометрии. Обобщения теоремы Эйлера о многогранниках. Развитие концепции комплексного числа. Последовательности и ряды аналитических функций. Интегральная теорема Коши.
книга, добавлен 25.11.2013Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012Определение предела последовательности, теорема о единственности предела. Классификация пределов, теорема о предельном переходе в неравенствах и теорема о двух милиционерах. Примеры интегрирования по частям, решение простых и неопределенных интегралов.
контрольная работа, добавлен 19.05.2014Определение основных понятий непрерывности функции в точке. Расчет величин прироста аргумента. Арифметические действия элементарных функций. Понятие гиперболических функций и их формулы. Множество и его значение. Точка разрыва и теорема непрерывности.
лекция, добавлен 26.01.2014Примеры различных операций и вычислений с векторами и матрицами в линейной алгебре. Теоретические основы и методы, позволяющие выполнять эквивалентные матричные преобразования. Алгоритм оценки величины и нахождения собственных значений. Отношение Рэлея.
реферат, добавлен 26.01.2012Биография Пифагора. Неалгебраические доказательства теоремы. Древнекитайское, древнеиндийское доказательство. Доказательство Евклида. Алгебраические доказательства теоремы. Первое и второе доказательство. Определение косинуса угла. Головоломка "Пифагор".
реферат, добавлен 30.01.2016- 87. Вложение классов функций, интегрируемых с весом на отрезке и удовлетворяющих условия типа Липшица
Особенность обобщения теоремы о вложении Харди-Литтлвуда для некоторых классов функций, интегрируемых с весом на отрезке. Применение для внутреннего интеграла неравенства Гельдера. Введение средних непрерывных из-за непрерывности интегрирования Лебега.
статья, добавлен 30.10.2016 Описание свойства транзитивности принадлежности для самопринадлежащих множеств. Доказательство теоремы о непротиворечивости теории множеств с самопринадлежностью. Алгебра скобок единого и многого. Отношение части и целого. Приложение к доказательству.
статья, добавлен 26.04.2019- 89. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Описание и доказательство теоремы о трех перпендикулярах, ее значение для геометрии. Признак перпендикулярности прямой и плоскости. Определение расстояния между параллельными плоскостями, скрещивающимися прямыми, прямой и параллельной ей плоскостью.
презентация, добавлен 13.12.2015Теорема о непрерывности производных недифференцируемых функций. Определение координат в окрестности точки. Частные приращения по переменной и образованной от существующих пределов. Понятие дифференцируемости и производной сложной формулы двух аргументов.
лекция, добавлен 26.01.2014Изучение прямых изоклин системы дифференциальных уравнений. Главные способы разбиения множества изоклин, теоремы и доказательства. Нахождение параллельных между собой прямых изоклин системы. Квадратичная дифференциальная система, её состояния равновесия.
статья, добавлен 27.09.2013- 93. Определение функций источника систем уравнений составного типа для некоторых начально-краевых задач
Решение задачи идентификации функции источника одномерной системы параболического и эллиптического уравнений в частных производных второго порядка. Исследование задачи Коши, второй краевой и обратных задач для эволюционных систем составного типа.
статья, добавлен 29.04.2018 Понятие и виды матриц, их применение в математике. Алгебраические операции, выполняемые с матрицами. Системы линейных уравнений. Условие разрешимости системы линейных уравнений на языке матриц. Примеры элементарных преобразований матриц, ранг матрицы.
реферат, добавлен 30.01.2016Теорема гомотопической инвариантности для некоторых когомологий полилогарифмических комплексов. Использование результатов для построения интересных классов гиперболических многогранников по данным алгебраической геометрии. Мотивные когомологии поля.
дипломная работа, добавлен 28.12.2016Теорема Чевы и Менелая, их особенности. Методика обучения решению задач в период предпрофильной подготовки. Изучение темы "Теорема Менелая и теорема Чевы" в курсе геометрии 10 класса. Применение теорем Менелая и Чевы в решении стереометрических задач.
презентация, добавлен 20.01.2016Определение термина "ранг матрицы". Применение элементарного преобразования и приведение матрицы к трапецеидальному виду. Совместимость систем линейных уравнений, описание теоремы Кронекера-Капелли. Решение систем линейных уравнений методом Гаусса.
контрольная работа, добавлен 09.07.2015Математическое описание динамических функций. Определение взаимосвязей входного и выходного сигнала системы через нахождение оператора. Приближенное описание случайных процессов. Задачи статистической обработки информации. Понятие об объекте измерения.
учебное пособие, добавлен 28.12.2013Теоретическое исследование некоторых обобщённых модулей гладкости типа Якоби и доказательства прямой и обратной теорем теории приближений. Вычисления обобщённых модулей гладкости некоторых не периодических функций с помощью теорем Леберга, Минковского.
дипломная работа, добавлен 11.01.2011Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015