Обобщённо булевы решетки
Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
Подобные документы
Узагальнена теорема синусів. Деякі перетворення, пов'язані з теоремою Чеви. Вираження площі трикутника через радіуси вписаного круга і півпериметр. Залежність між радіусом вписаного кола і радіусами зовнівписаних кіл. Центр мас периметра трикутника.
курсовая работа, добавлен 29.03.2014Краткое историческое описание становления теории множеств. Теоремы теории множеств и их применение к выявлению структуры различных числовых множеств. Определение основных понятий, таких как мощность, счетные, замкнутые множества, континуальное множество.
дипломная работа, добавлен 30.03.2011- 53. Теорема Дирихле
Формулировка и доказательство теоремы о простых числах в арифметической прогрессии (теорема Дирихле). Определение и основные свойства характеров. Суммы характеров и соотношение ортогональности. Характеры, L-функция Дирихле. Доказательство основных лемм.
курсовая работа, добавлен 12.08.2009 - 54. Теория нумераций
Нумерация как отображение некоторого подмножества множества натуральных чисел N на исследуемый класс конструктивных объектов. Приведение к общему знаменателю на основе понятия нумерованного множества. Каноническое представление морфизма функции.
реферат, добавлен 16.05.2009 Страницы биографии древнегреческого философа и математика Пифагора. Теорема Пифагора: основные формулировки и методы доказательства. Обратная теорема Пифагора. Примеры задач на применение теоремы Пифагора. "Пифагоровы штаны" и "тройка", "дерево Пифагора".
научная работа, добавлен 29.03.2011Понятие и поиск спектра как множества всех собственных характеристических показателей решений дифференциальной системы. Характеристические показатели Ляпунова заданной линейной стационарной системы. Теорема Ляпунова о нормальности фундаментальной системы.
курсовая работа, добавлен 21.08.2009Вкладення тихонівських просторів у ширші простори. Характеризація лінделефовості та компактності тихонівських просторів. Теорема Белла-Ященко та теорема Блер-Гагер для тихонівського простору. Характеризація паракомпактності та узагальнення теореми Яджіма.
контрольная работа, добавлен 03.04.2012Алгоритм упорядочивания множества. Определение декартового произведения, его графическая интерпретация. Обратное декартово произведение множеств. Проецирование на оси координат и на координатные плоскости. Область определения и область значений.
лекция, добавлен 18.12.2013Определение отношений между понятиями, изображение их с помощью кругов Эйлера. Установление видов данных суждений, их отношений по логическому квадрату. Определение правильности простого категорического силлогизма. Установление правильности энтимемы.
контрольная работа, добавлен 09.05.2016Методика решения задач высшей математики с помощью теории графов, ее сущность и порядок разрешения. Основная идея метода ветвей и границ, ее практическое применение к задаче. Разбиение множества маршрутов на подмножества и его графическое представление.
задача, добавлен 24.07.2009Теорема Ферма: содержание, доказательство, геометрический смысл. Теорема Ролля: производная функции, отсутствие непрерывности Отсутствует и дифференцируемости. Доказательство теоремы Лагранжа, общий вид, геометрический смысл, содержание следствия.
презентация, добавлен 21.09.2013- 62. Теория множеств
Понятие множества, его обозначения. Операции объединения, пересечения и дополнения множеств. Свойства счетных множеств. История развития представлений о числе, появление множества натуральных, рациональных и действительных чисел, операции с ними.
курсовая работа, добавлен 07.12.2012 Доказательство теоремы о выявлении алгебраической замкнутости поля С (то есть существования корня у любого отличного от константы полинома с комплексными коэффициентами) согласно с принципами лемм Даламбера и о достижении точной нижней грани значений.
реферат, добавлен 01.03.2010Теорема Ферма, ее формулировка и доказательство в случаях, если показатель степени n - нечетное число и если n - четное число. Теорема о единственности факторизации. Дополнительные обоснования теоремы. Состав наибольшего составного числового множителя.
статья, добавлен 28.05.2009Функциональные и степенные ряды. Разложение функций в ряды Тейлора и Макларена. Теорема Дерихле. Основные понятия в теории вероятностей. Теорема умножения и сложения вероятностей независимых событий. Формулы Бейеса, Бернулли. Локальная теорема Лапласа.
методичка, добавлен 25.12.2010Определение и примеры симметрических многочленов от трех и нескольких переменных. Решение систем уравнений с тремя неизвестными. Освобождение от иррациональности в знаменателе. Разложение на множители. Основная теорема об антисимметрических многочленах.
курсовая работа, добавлен 12.04.2012Определители второго и третьего порядков, свойства определителей. Два способа вычисления определителя третьего порядка. Теорема разложения. Теорема Крамера, которая дает практический способ решения систем линейных уравнений используя определители.
лекция, добавлен 02.06.2008Делимость в кольце чисел гаусса. Обратимые и союзные элементы. Деление с остатком. Алгоритм евклида. Основная теорема арифметики. Простые числа гаусса. Применение чисел гаусса.
дипломная работа, добавлен 08.08.2007Понятие множества, его трактование Георгом Кантором. Условные обозначения множеств. Виды множеств, способы их задания. Операции над множествами (пересечение, объединение, разность и дополнение), условия их равенства и основные свойства, отношения.
презентация, добавлен 12.12.2012Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.
лекция, добавлен 25.03.2012Понятие множества и его элементов. Обозначение принадлежности элемента множеству. Конечные и бесконечные множества. Строгое и нестрогое включение. Способы задания множеств. Равенство множеств и двухсторонее включение. Диаграммы Венна для трех множеств.
презентация, добавлен 23.12.2013Определение свойств чисел и выражение соотношений между подмножествами одного множества. Арифметический треугольник Паскаля. Алгоритм вычисления биномиальных коэффициентов. Рассмотрение комбинаторных тождеств: правила симметрии и свертки Вандермонда.
курсовая работа, добавлен 10.10.2011Основные понятия размерности упорядоченных множеств. Определение размерности упорядоченного множества. Свойства размерности конечных упорядоченных множеств. Порядковая структура и элементы алгебраической теории решёток.
дипломная работа, добавлен 08.08.2007Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.
курсовая работа, добавлен 22.09.2009Понятие метрического и топологического пространства. Расстояние между множествами. Диаметр множества. Непрерывные отображения. Гомеоморфизм. Вектор-функция скалярного аргумента. Понятия пути и кривой. Гладкая и регулярная кривая, замена параметра.
курс лекций, добавлен 02.06.2013