Булева алгебра. Алгебра логики

Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.

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

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

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

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

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

  • Основні напрямки сучасної теорії зображень. Роль теорії матричних задач А.В. Ройтера. Обчислення матричної алгебри Aуслендера для однієї задачі про подібність пари матриць з деякими природними співвідношеннями. Формулювання класифікаційної теореми.

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

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

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

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

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

  • Выполнение громоздких выкладок с формулами на компьютере (компьютерная алгебра) как одна из первых попыток моделирования интеллектуальной деятельности. Характеристика этапов и проблем развития и использования компьютерной алгебры в задачах механики.

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

  • Множества в векторных пространствах. Продолжение положительных функционалов и операторов. Равномерность и топология метрического пространства. Теорема Жордана и простые картины. Выпуклые функции и сублинейные функционалы, алгебра ограниченных операторов.

    монография, добавлен 18.06.2015

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

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

  • Векторная алгебра и кривые второго порядка. Аналитическая геометрия в пространстве. Определенный интеграл и его геометрические приложения. Обобщение понятия определенного интеграла. Функции нескольких переменных. Двойные и несобственные интегралы.

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

  • Универсальная алгебра и реляционная система. Сигнатура алгебраической системы. Определение функций типа изоморфизм и гомоморфизм. Описание индуцированных операций. Теорема об описании гомоморфных образов. Лемма о конгруенции, порожденной гомоморфизмом.

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

  • Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.

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

  • Исследование сходимости рядов на высшем уровне норвежским математиком Н. Абелем. Основы механики и гидростатики, открытые Архимедом. Методы интегрирования рациональных дробей, правило раскрытия неопределенности И. Бернулли. Символическая алгебра Ф. Виета.

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

  • Геометрична алгебра як інтеграційна основа навчання курсу алгебри майбутніх учителів математики. Аналіз різних підходів до використання історії математики. Дослідження розв’язань визначних математичних задач на обчислення коренів алгебраїчних рівнянь.

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

  • Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.

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

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

    задача, добавлен 06.01.2015

  • Алгебра как часть вычислительного анализа и теории функций. Теория конечных групп подстановок. Представители Русской алгебраической школы. Научные исследований по математике Отто Шмидта, гипотеза о происхождении Земли. Труды по теории множеств Новикова.

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

  • Побудова поля комплексних чисел. Асоціативність, комутативність та дистрибутивність бінарних операцій. Еквівалентні перетворення системи векторів. Обчислення оберненої матриці елементарними перетвореннями. Критерій сумісності системи лінійних рівнянь.

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

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

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

  • Асоціативна алгебра з нетривіальним ортогональним оператором. Опис операторів на однопороджених нільпотентних алгебрах скінченної розмірності над довільним полем. Позначення радикалу Джекобсона алгебри. Аналіз нескінченновимірної асоціативної алгебри.

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

  • Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.

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

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

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

  • Основні поняття векторної алгебри, геометрична модель векторної величини. Лінійні операції з векторами, лінійна залежність та лінійна незалежність системи векторів. Визначення проекції вектора на ось. Прямокутна декартова система координат в просторі.

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

  • Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.

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

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

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

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

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

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