Алгебраические системы
Универсальная алгебра и реляционная система. Сигнатура алгебраической системы. Определение функций типа изоморфизм и гомоморфизм. Описание индуцированных операций. Теорема об описании гомоморфных образов. Лемма о конгруенции, порожденной гомоморфизмом.
Подобные документы
Понятие генеральной и выборочной совокупностей. Эмпирические аналоги функции распределения и плотности распределения, их свойства. Построение гистограммы. Теорема Чебышева. Лемма Бернулли. Точечные оценки параметров генеральной совокупности, их свойства.
шпаргалка, добавлен 14.06.2013Вычисление неопределенных и определенных интегралов, проверка результатов дифференцированием. Определение площади фигуры, ограниченной параболой и прямой. Дифференциальное исчисление функций нескольких переменных. Примеры решений системы уравнения.
контрольная работа, добавлен 16.04.2012Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Теорема о вычетах является мощным инструментом для вычисления интеграла функции по замкнутому контуру. Рассмотрены определение вычета функции, основная теорема о вычетах, вычисление вычета относительно полюса, вычет функции относительно бесконечности.
реферат, добавлен 30.11.2023Решение системы уравнений методом Гаусса. Определение предела и производной функции. Написание уравнения прямой, проходящей через точку параллельно касательной. Определение длины основания треугольника с наибольшей площадью. Построение графика функции.
контрольная работа, добавлен 12.09.2012- 106. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Алгебра - раздел математики, представляющий собой обобщение и расширение арифметики. Вклад Диофанта в развитие алгебраической науки. История открытия правил для решения кубических уравнений. Сферы применения теории рекуррентных последовательностей.
контрольная работа, добавлен 30.05.2015- 108. Теорема Пифагора
Исследование значения теоремы Пифагора в геометрии. Характеристика классических доказательств теоремы Пифагора, известных из древних трактатов. Определение стороны прямоугольного треугольника по двум другим сторонам. Теорема существования площади фигуры.
реферат, добавлен 21.01.2015 Умножение элементов строки (столбца) матрицы. Понятие системы линейных уравнений и ее решения. Коэффициенты системы и свободные члены. Теорема Кронекера-Капелли. Линейная комбинация базисных столбцов матрицы. Условия существования решения системы.
лекция, добавлен 15.09.2017Алгебраические дополнения для определителей. Обзор алгоритма нахождения исходной матрицы. Изучение метода обратной матрицы при решении системы уравнений. Расчет длины отрезков, отсекаемых плоскостью от осей координат с помощью уравнения плоскости.
контрольная работа, добавлен 04.09.2013- 111. Линейная алгебра
Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.
курс лекций, добавлен 22.01.2013 История функций. Первые таблицы для нахождения тангенсов и котангенсов. Теорема синусов для сферических треугольников. Основная формула нахождения тангенса. Доказательство теоремы тангенсов для сферических углов и синусов для плоских треугольников.
презентация, добавлен 11.05.2013Аксиомы теории Цернело-Френкеля по устранению. Аксиома выбора как один из важнейших теоретико-множественных принципов, альтернативные формулировки аксиомы и её применение. Принцип вполне упорядочивания и лемма Цорна для частично упорядоченных множеств.
реферат, добавлен 11.10.2014Основные теоремы о пределах, признаки их существования, связь с бесконечно малой функцией. Теорема об алгебраической сумме конечного числа БМФ. Методы вычисления пределов выражений, содержащих тригонометрические функции, и числовых последовательностей.
реферат, добавлен 22.09.2013- 115. Производящие функции
Теория формальных степенных рядов. Алгебра Коши, операция подстановки одного степенного ряда в другой. Понятие экспоненциального ряда. Основной принцип теории производящих функций. Производящие функции числа основных комбинаторных объектов и выборок.
курсовая работа, добавлен 23.04.2011 Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Задача оптимизации систем управления транспортными потоками. Описание функционирования системы управления конфликтными потоками требований в классе алгоритмов с упреждением в случайной среде. Определение конфликтности и потоков насыщения системы.
курсовая работа, добавлен 12.04.2009Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.
диссертация, добавлен 19.06.2015Система мышления, создающая взаимосвязи между заданными условиями и позволяющая делать умозаключения, основываясь на предпосылках и предположениях. Принципы построения математических теорий. Использование алгебры высказываний в современной информатике.
реферат, добавлен 12.04.2015- 120. Алгебраические числа
Теория чисел как непосредственное развитие арифметики, краткий исторический очерк. Понятие числового поля и алгебраического числа. Доказательство теоремы Лиувилля о приближении алгебраических чисел. Подтверждение существования трансцендентных чисел.
контрольная работа, добавлен 30.10.2010 Определение многомерной системы, используемое в теории управления. Рассмотрение общей структуры типичной одномерной системы на примере управления скоростью вращения электродвигателя. Описание математических моделей в частотной и временной области.
лекция, добавлен 23.07.2015Обзор основных понятий о дифференциале функции и его применении в приближенных вычислениях. Определение дифференциала алгебраической суммы конечного числа дифференцируемых функций. Инвариантность формы дифференциала. Вынос постоянного множителя за знак.
презентация, добавлен 21.09.2013- 123. Алгебра и геометрия
Операции над множествами и их свойства. Система комплексных чисел. Многочлены с действительными коэффициентами и алгоритм Эвклида. Решение систем линейных уравнений матричным способом. Свойства аффинной и прямоугольной декартовой системы координат.
курс лекций, добавлен 17.01.2014 Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Основы линейной и векторной алгебры. Пределы и непрерывность. Дифференциальное исчисление функций с одной и несколькими переменными. Зависимость производной от направления. Аналитическая геометрия и комплексные числа. Тригонометрическая форма записи.
курс лекций, добавлен 09.10.2013