Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
Подобные документы
Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014Рассмотрение систем линейных алгебраических уравнений общего вида. Сущность теорем и их доказательство. Особенность трапецеидальной матрицы. Решение однородных и неоднородных линейных алгебраических уравнений, их отличия и применение метода Гаусса.
реферат, добавлен 14.08.2009Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
учебное пособие, добавлен 29.04.2009Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.
дипломная работа, добавлен 04.06.2002Доказательство теоремы Пифагора методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных. Существование бесконечного количества троек пифагоровых чисел и, соответственно, прямоугольных треугольников.
творческая работа, добавлен 25.06.2009Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.
контрольная работа, добавлен 03.09.2010Операция умножения матриц на примере. Сложение линейных операторов, главные свойства. Определение групп Ли, линейные и индуцированные представления. Сущность понятия "унитарный трюк". Ассоциативная алгебра с полимиальным тождеством. Радикал Джекобсона.
курсовая работа, добавлен 17.07.2016Формулирование и доказательство великой теоремы Ферма методами элементарной алгебры с использованием метода замены переменных для показателя степени n=4. Необходимые условия решения уравнения. Отсутствие решения теоремы в целых положительных числах.
творческая работа, добавлен 17.10.2009Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа, добавлен 29.11.2010Формулировка и доказательство теоремы о сложении вероятностей двух несовместных событий. Следствие теоремы в случае, когда события составляют полную группу несовместных событий, и в случае противоположных событий. Примеры вычисления вероятности событий.
презентация, добавлен 01.11.2013Архитектура 32-х разрядных систем. Алгоритмы выполнения арифметических операций над сверхбольшими натуральными числами, представленными в виде списков. Инициализация системы. Сложение. Вычитание. Умножение.
доклад, добавлен 20.03.2007Доказательство теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений для четных и нечетных показателей степени. Теорема о разложении на простые множители целых составных чисел.
научная работа, добавлен 12.06.2009Модель Пуанкаре геометрии Лобачевского: вопрос о ее непротиворечивости. Инверсия, ее аналитическое задание. Преобразование окружности и прямой, сохранение углов при инверсии. Инвариантные прямые и окружности. Система аксиом геометрии Лобачевского.
дипломная работа, добавлен 10.09.2009Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа, добавлен 26.04.2011Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010- 42. Теорема Дирихле
Формулировка и доказательство теоремы о простых числах в арифметической прогрессии (теорема Дирихле). Определение и основные свойства характеров. Суммы характеров и соотношение ортогональности. Характеры, L-функция Дирихле. Доказательство основных лемм.
курсовая работа, добавлен 12.08.2009 Сущность планиметрии как науки о свойствах точек и прямых на плоскости. Понятие точки, прямой и плоскости, принятие утверждений без доказательств. Особенности построения и содержание аксиом принадлежности, измерения, параллельности, откладывания.
презентация, добавлен 12.04.2012Доказательство великой теоремы Ферма для n=3 методами элементарной алгебры с использованием метода решения параметрических уравнений. Диофантово уравнение, решение в целых числах, отсутствие решения в целых положительных числах при показателе степени n=3.
творческая работа, добавлен 17.10.2009Доказательство великой теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений и методов замены переменных. Теорема о единственности разложения на простые множители целых составных чисел.
статья, добавлен 21.05.2009Задачи и методы линейной алгебры. Свойства определителей и порядок их вычисления. Нахождение обратной матрицы методом Гаусса. Разработка вычислительного алгоритма в программе Pascal ABC для вычисления определителей и нахождения обратной матрицы.
курсовая работа, добавлен 01.02.2013Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.
курсовая работа, добавлен 12.05.2009Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008Теорема Ферма, ее формулировка и доказательство в случаях, если показатель степени n - нечетное число и если n - четное число. Теорема о единственности факторизации. Дополнительные обоснования теоремы. Состав наибольшего составного числового множителя.
статья, добавлен 28.05.2009Изучение свойств геометрических объектов при помощи алгебраических методов. Основные операции над векторами. Умножение вектора на отрицательное число. Скалярное произведение векторов. Нахождение угла между векторами. Нахождение координат вектора.
контрольная работа, добавлен 03.12.2014