Булева алгебра (алгебра высказываний)
Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.
Подобные документы
Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010Опыт со случайным исходом. Статистическая устойчивость. Понятие вероятности. Алгебра событий. Принцип двойственности для событий. Условные вероятности. Формулы сложения и умножения вероятностей. Формула Байеса. Пространство элементарных событий.
реферат, добавлен 03.12.2007Производная функция. Касательная к кривой. Геометрический смысл производной. Производные от элементарных функций. Изучение функций с помощью производной. Максимум и минимум функции. Точки перегиба. Дифференциал.
статья, добавлен 11.01.2004Исследование самых абстрактных алгебраических систем, в частности, универсальных алгебр. Основные определения, обозначения и используемые результаты. Свойства централизаторов конгруэнции универсальных алгебр. Конгруэнция Фраттини, подалгебра Фраттини.
курсовая работа, добавлен 22.09.2009Вивчення закономірностей, властивих випадковим явищам. Комплекс заданих умов. Експериментальна перевірка випадкових явищ в однотипних умовах та необмежену кількість разів. Алгебра випадкових подій. Сутність, частота і ймовірність випадкової події.
реферат, добавлен 16.02.2011Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа, добавлен 24.05.2015Система-дополнение упражнений по алгебре для 10-го класса. Методика организации учителем проверки и возможные случаи выбора решения учениками для всех типов уравнений. Примеры решения логарифмических уравнений повариантно и таблица проверки результатов.
методичка, добавлен 24.06.2008Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа, добавлен 27.04.2011Изучение абстрактных систем замыканий на множестве. Теорема о взаимосвязи между системами замыканий и операторами замыкания. Понятие и структура алгебраических систем замыканий. Анализ соответствия Галуа как наиболее важного примера систем замыканий.
дипломная работа, добавлен 27.05.2008Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.
презентация, добавлен 20.09.2015Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.
контрольная работа, добавлен 28.02.2009Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009Европейская математика эпохи Возрождения. Создание буквенного исчисления Франсуа Виет и метода решения уравнений. Усовершенствование вычислений в конце XVI – начале XVII веков: десятичные дроби, логарифмы. Установление связи тригонометрии и алгебры.
презентация, добавлен 20.09.2015Визначення та властивості упорядкованих множин, приклади діаграм. Дистрибутивні ґрати як один з основних алгебраїчних об'єктів. Поняття нижньої і точної грані, їх властивості та приклади, доказ лем. Застосування та суть топологічних стоунових просторів.
курсовая работа, добавлен 24.03.2011Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
курсовая работа, добавлен 05.09.2011Решение систем уравнений по правилу Крамера, матричным способом, с использованием метода Гаусса. Графическое решение задачи линейного программирования. Составление математической модели закрытой транспортной задачи, решение задачи средствами Excel.
контрольная работа, добавлен 27.08.2009Дріб, числівник і знаменник якого є многочленами, називається раціональним (алгебраїчним). Приведення раціональних дробів до спільного знаменника. Скоротити дріб - це означає розділити числівник і знаменник дробу на спільний множник.
контрольная работа, добавлен 06.06.2004Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Учебное пособие "Высшая математика для менеджеров" включает разделы высшей математики, изучение которых применяется для решения прикладных экономических и управленческих задач - это аналитическая геометрия, линейная алгебра и математический анализ.
дипломная работа, добавлен 24.04.2009Построение объектов, изоморфных данным алгебраическим структурам. Решетки конгруэнций Ламбека по простым идеалам. Теоремы об изоморфизме и свойства пучковых представлений. Функциональные пучки Ламбека и Корниша для ограниченных дистрибутивных решеток.
дипломная работа, добавлен 12.06.2010Краткое математическое описание циклических кодов с точки зрения алгебры конечных полей, которого вполне достаточно для решения задачи нахождения порождающего полинома кода, используя корни. Полиномиальное представление двоичных чисел. Определение поля.
контрольная работа, добавлен 01.01.2011Выполнение действий над матрицами. Определение обратной матрицы. Решение матричных уравнений и системы уравнений матричным способом, используя алгебраические дополнения. Исследование и решение системы линейных уравнений методом Крамера и Гаусса.
контрольная работа, добавлен 24.10.2010Понятие, типы и алгебра матриц. Определители квадратной матрицы и их свойства, теоремы Лапласа и аннулирования. Понятие обратной матрицы и ее единственность, алгоритм построения и свойства. Определение единичной матрицы только для квадратных матриц.
реферат, добавлен 12.06.2010- 99. Линейная алгебра
Понятие и сущность определителей второго порядка. Рассмотрение основ системы из двух линейных уравнений с двумя неизвестными. Изучение определителей n–ого порядка и методы их вычисления. Особенности системы из n линейных уравнений с n неизвестными.
презентация, добавлен 14.11.2014 Сущность и общая характеристика метода "барона Мюнхгаузена", его применение в алгебре. Нахождение значений выражений с бесконечным числом элементов, использование формулы куба суммы и разности. "Метод барона Мюнхгаузена": золотое сечение и фракталы.
реферат, добавлен 18.01.2011