Булева алгебра (алгебра высказываний)
Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.
Подобные документы
Объединенная классификация суждений, их анализ и практическое применение круговых схем Эйлера. Установление вида сложного суждения, оценка его составных частей и составление его логической схемы. Определение формально-логического закона и его нарушений.
контрольная работа, добавлен 26.08.2011- 52. Алгебра
Многочлены над числовыми полями. Теорема о делении с остатком. Основные алгебраические структуры. Понятие линейного пространства, его базис и изоморфизм. Матрица линейного оператора в конечномерном линейном пространстве. Ранг и дефект линейного оператора.
учебное пособие, добавлен 02.03.2009 Основные сведения, необходимые при решении задач на собственные значения. Итерационные методы. Определение собственных значений методами преобразований подобия. Определение собственных значений симметричной трехдиагональной матрицы.
реферат, добавлен 19.05.2006Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация, добавлен 29.10.2013Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Решение задач линейной алгебры с разреженными матрицами на примере дискретизации уравнения Пуассона. Сущность векторных и матричных норм, основные виды итерационных методов, определение и условия их сходимости. Понятие инвариантных подпространств.
учебное пособие, добавлен 02.03.2010Основные задачи, решаемые методом координат. Действия над матрицами. Понятие минора и алгебраического дополнения. Собственные векторы и собственные значения линейного оператора. Действия с множествами. Геометрический смысл дифференциала функции.
учебное пособие, добавлен 22.03.2012- 58. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008- 60. Линейная алгебра
Вычисление определителя, алгебраических дополнений. Выполнение действий над матрицами. Решение систем линейных уравнений по формулам Крамера, методом Гауса. Определение плана выпуска химикатов на заводе. Составление экономико-математической модели задачи.
контрольная работа, добавлен 25.03.2014 - 61. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 Открытия О. Хайяма в области астрономии, математики и физики. Трактат о доказательствах задач алгебры и алмукабалы. Комментарии к трудностям во введениях Евклида. Закономерности поведения корней, приложимые к каждому конкретному уравнению (Э. Галуа).
реферат, добавлен 14.12.2009- 63. Линейная алгебра
Определение разности и произведения матриц. Решение системы линейных уравнений методом Крамера. Уравнение прямой проходящей через точки A (xa, ya) и C (xc, yc). Порядок определения типа кривой второго порядка и ее основных геометрических характеристик.
контрольная работа, добавлен 11.12.2012 Кватернион как один из самых интересных и приметных представителей гиперкомплексных чисел, его отражение в современных информационных компьютерных интерактивно-игровых технологиях. Алгебра кватернионов над полем R. Сущность и применение тождества Эйлера.
статья, добавлен 08.12.2009Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.
контрольная работа, добавлен 17.01.2011Вычисление определителей матриц. Метод приведения матрицы к треугольному виду. Решение системы уравнений методами Крамера, Жордана-Гауса и матричным. Канонические уравнения для нахождения центра, вершины, полуоси, эксцентриситета, директрис эллипса.
контрольная работа, добавлен 18.11.2013Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013- 68. Круги Эйлера
Изобретение Леонардом Эйлером геометрической схемы, с помощью которой можно изобразить отношения между подмножествами. Изучение частного случая кругов Эйлера — диаграммы Эйлера—Венна, изображающей все 2^n комбинаций n свойств (конечную булеву алгебру).
презентация, добавлен 16.02.2015 Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
курс лекций, добавлен 02.04.2011Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.
курсовая работа, добавлен 22.09.2009Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.
методичка, добавлен 24.08.2009Означення теорії множин. Дії над множинами. Алгебра множин. Вектори і прямий добуток множин. Властивості відношень. Способи задання функції. Сукупність підстановок множини. Алгебраїчні операції та системи. Властивості рефлексивності та симетричності.
конспект урока, добавлен 28.06.2012Роль Леонарда Эйлера в математическом образовании в академической образовательной системе. Основная цель и принципы обучения в гимназии. Руководство к арифметике для употребления в гимназии при Императорской академии наук. Начальные основания алгебры.
презентация, добавлен 20.09.2015Об истории возникновения комплексных чисел и их роли в процессе развития математики. Алгебраические действия над комплексными числами и их геометрический смысл. Применение комплексных чисел к решению алгебраических уравнений 3-ей и 4-ой степеней.
курсовая работа, добавлен 03.01.2008