Булева алгебра

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

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

  • Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.

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

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

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

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

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

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

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

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

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

  • Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.

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

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

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

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

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

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

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

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

    лабораторная работа, добавлен 09.08.2010

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

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

  • Алгебра Лейбница как векторное пространство с билинейным произведением, в котором выполняется известное тождество. Пример нинельпотентного многообразия алгебр Лейбница с условием энгелевости порядка р. Его использование для поля нулевой характеристики.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.

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

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

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

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

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

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

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

  • Основна ідея та предмет вивчення реляційної алгебри, її структура, принципи та значення в системі наук. Зміст теоретико-множинних операцій. Загальна інтерпретація реляційних операцій. Кортежні змінні і правильно побудовані формули реляційного числення.

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

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