Алгебра октав

Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.

Подобные документы

  • Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.

    творческая работа, добавлен 30.04.2009

  • Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.

    контрольная работа, добавлен 17.01.2011

  • Элементы линейной алгебры. Виды матриц и операции над ними. Свойства определителей матрицы и их вычисление. Решение систем линейных уравнений в матричной форме, по формулам Крамера и методу Гаусса. Элементы дифференциального и интегрального исчислений.

    учебное пособие, добавлен 06.11.2011

  • Алгоритм конструирования: выделение опорных утверждений, решение задачи, выбор утверждений для перефразировки и их изменение, перефразировка, решение полученной задачи. Обобщение. Конструкция. Частный случай. Перефразировка. Варьирование условий.

    реферат, добавлен 14.10.2002

  • Преобразование матрицы: умножение, приведение коэффициентов на главной диагонали матрицы к 1. Решение системы уравнений методом Крамера. Определители дополнительных матриц. Определение вероятности события (теория вероятности), математическая статистика.

    контрольная работа, добавлен 21.10.2010

  • Подробный анализ поверхностей Каталана и условия, отделяющие этот класс от класса линейчатых поверхностей. Формулы для расчета первой и второй квадратичных форм поверхностей класса КА. Доказательство утверждений о влиянии вида кривых на тип поверхности.

    дипломная работа, добавлен 06.06.2011

  • Роль Леонарда Эйлера в математическом образовании в академической образовательной системе. Основная цель и принципы обучения в гимназии. Руководство к арифметике для употребления в гимназии при Императорской академии наук. Начальные основания алгебры.

    презентация, добавлен 20.09.2015

  • Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.

    методичка, добавлен 05.07.2010

  • Опыт со случайным исходом. Статистическая устойчивость. Понятие вероятности. Алгебра событий. Принцип двойственности для событий. Условные вероятности. Формулы сложения и умножения вероятностей. Формула Байеса. Пространство элементарных событий.

    реферат, добавлен 03.12.2007

  • Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.

    контрольная работа, добавлен 27.04.2011

  • Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).

    курсовая работа, добавлен 28.11.2014

  • Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.

    презентация, добавлен 20.09.2015

  • Решение задач линейной алгебры с разреженными матрицами на примере дискретизации уравнения Пуассона. Сущность векторных и матричных норм, основные виды итерационных методов, определение и условия их сходимости. Понятие инвариантных подпространств.

    учебное пособие, добавлен 02.03.2010

  • Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).

    курсовая работа, добавлен 16.01.2012

  • Понятие матрицы. Метод Гаусса. Виды матриц. Метод Крамера решения линейных систем. Действия над матрицами: сложение, умножение. Решение систем линейных уравнений методом Гаусса. Элементарные пребразования систем. Математические перобразования.

    лекция, добавлен 02.06.2008

  • Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.

    контрольная работа, добавлен 28.02.2009

  • Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.

    дипломная работа, добавлен 09.03.2009

  • Европейская математика эпохи Возрождения. Создание буквенного исчисления Франсуа Виет и метода решения уравнений. Усовершенствование вычислений в конце XVI – начале XVII веков: десятичные дроби, логарифмы. Установление связи тригонометрии и алгебры.

    презентация, добавлен 20.09.2015

  • Новый способ умножения чисел. Схожесть образующейся при вычислении матрицы из цифр, с треугольником относительна, но все же есть, особенно при умножении трехзначных чисел и выше. Треугольная матрица.

    статья, добавлен 06.02.2005

  • Основные этапы развития булевой алгебры и применение минимальных форм булевых многочленов к решению задач, в частности, с помощью метода Куайна - Мак-Класки. Применение минимизирования логических форм при проектировании устройств цифровой электроники.

    курсовая работа, добавлен 24.05.2009

  • Определение понятий "хорда", "пропорциональность", "приращение функции". Доказательство теорем Ферма, Ролля и Лагранжа. Особенности и условия применения метода хорд при решении уравнений разного порядка. Ознакомление с правилом пропорциональных частей.

    реферат, добавлен 25.05.2014

  • Определение, свойства и примеры функциональных уравнений. Основные методы их решения, доказательство некоторых теорем. Понятие группы функций, применение их при решении функциональных уравнений с несколькими переменными. Класс уравнений типа Коши.

    курсовая работа, добавлен 01.10.2011

  • Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.

    курс лекций, добавлен 08.08.2011

  • Математическое объяснение понятия и свойств скалярного поля. Формулы расчета нормали к поверхности. Вычисление потока векторного поля через прямой круговой цилиндр с заданным радиусом основания. Доказательство теорем Остроградского-Гаусса и Стокса.

    реферат, добавлен 11.02.2011

  • Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.

    дипломная работа, добавлен 21.01.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.