Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
Подобные документы
- 1. Алгебра
Квадратные матрицы и определители. Координатное линейное пространство. Исследование системы линейных уравнений. Алгебра матриц: их сложение и умножение. Геометрическое изображение комплексных чисел и их тригонометрическая форма. Теорема Лапласа и базис.
учебное пособие, добавлен 02.03.2009 Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций, добавлен 29.11.2009Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012Применение матриц и их виды (равные, квадратные, диагональные, единичные, нулевые, вектор-строка, вектор-столбец). Примеры действий над матрицами (умножение на число, сложение, вычитание, умножение и транспонирование матриц) и свойства полученных матриц.
презентация, добавлен 21.09.2013Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация, добавлен 11.10.2014Возникновение теории вероятности как науки. Классическое определение вероятности. Частость наступления события. Операции над событиями. Сложение и умножение вероятности. Схема повторных независимых испытаний (система Бернулли). Формула полной вероятности.
реферат, добавлен 22.12.2013Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат, добавлен 06.12.2010Сложение и умножение целых p-адических чисел, определяемое как почленное сложение и умножение последовательностей. Кольцо целых p-адических чисел, исследование свойств их деления. Объяснение данных чисел с помощью ввода новых математических объектов.
курсовая работа, добавлен 22.06.2015Биография немецкого математика А. Гурвица. Основные положения теоремы Ферма. Обзор систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Приложение теоремы Гурвица: теоремы Фробениуса и Лагранжа.
курсовая работа, добавлен 25.05.2010Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
учебное пособие, добавлен 27.10.2013Биография русского ученого Н.И. Лобачевского. Система аксиом Гильберта. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому. Понятие о сферической геометрии. Доказательство теорем на различных моделях.
реферат, добавлен 12.11.2010Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа, добавлен 19.09.2011- 14. Гипотеза Биля
Доказательство гипотезы Биля методами элементарной алгебры: сочетание методов решения параметрических уравнений и замены переменных (теорема Ферма). Ее формулировка в виде неопределенного уравнения, которое не имеет решения в целых положительных числах.
творческая работа, добавлен 29.05.2009 - 15. Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа, добавлен 20.01.2011 Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Рациональность решения задач с помощью теорем Чевы и Менелая, чем их решение другими способами, например векторным. Доказательство теорем, дополнительное построение. Трудности, связанные с освоением этих теорем, оправданные применением при решении задач.
контрольная работа, добавлен 05.05.2019Понятие матрицы, его источники и развитие в математической науке, основные элементы и их взаимодействие. Описание действий с матрицами: сложение, вычитание, умножение между собой и на число, транспортирование. Свойства транспортированных матриц.
контрольная работа, добавлен 02.06.2010Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
контрольная работа, добавлен 05.05.2013Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Изучение основных определений и теорем, связанных с полукольцом натуральных чисел, описание его нулевого, главного и двухпорожденного идеалов. Исследование проблемы нахождения констант Фробениуса для аддитивной полугруппы, порожденной линейной формой.
курсовая работа, добавлен 12.06.2010Логический синтез устройства с использованием соотношений булевой алгебры. Составление таблицы истинности. Основные соотношения булевой алгебры. Логическая функция в смысловой, словесной, вербальной, табличной и аналитической математической формах.
лабораторная работа, добавлен 26.11.2011Основные операции над матрицами и их свойства. Произведение матриц или перемножение матриц. Блочные матрицы. Понятие определителя. Панель инструментов Матрицы. Транспонирование. Умножение. Определитель квадратной матрицы. Модуль вектора.
реферат, добавлен 06.04.2003История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Понятие текстовых задач, их типология, роль и место в курсе школьной алгебры. Психолого-педагогические основы формирования умения решать текстовые задачи, этапы и методы обучения. Разработка системы задач по алгебре для самостоятельного решения учащимися.
дипломная работа, добавлен 30.03.2011