Основные понятия алгебры логики

Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.

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

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

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

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

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

  • Алгебра матриц, линейные и матричные уравнения. Матрицы в экономических приложениях. Свободные векторы, система координат. Линейные операторы, квадратичные формы и классификация кривых второго порядка. Расположение прямых на плоскости и в пространстве.

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

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

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

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

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

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

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

  • Основные топологические понятия; аксиомы топологии и примеры некоторых соотношений в топологических пространствах. Булева алгебра и регулярные замкнутые множества: булево объединение и булево пересечение произвольного семейства элементов булевой алгебры.

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

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

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

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

    научная работа, добавлен 28.10.2018

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.

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

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

    конспект урока, добавлен 16.01.2010

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

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

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

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

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

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

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