Элементы математической логики
Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
Подобные документы
Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017- 27. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 - 28. Теория множеств
Элементы теории множеств, операции над ними. Инъективные и сюръективные отображения. Отношение эквивалентности. Элементы теории кодирования, графов. Представление графов в памяти компьютера. Пример нахождения кода Харари графа. Задачи о раскраске.
методичка, добавлен 29.09.2017 Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015- 30. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Понятие, элементы и виды множества. Круги Эйлера. Разбиение на части. Декартово произведение множеств. Число элементов в объединении и разности конечных множеств. Способы решения текстовой задачи. Аксиоматическое построение системы натуральных чисел.
курс лекций, добавлен 26.11.2016Основы арифметических действий над натуральными числами. Операции декартового произведения множеств. Характеристика комплексных чисел и возможные операции над ними. Пересечение, объединение, дополнение, декартово произведение в курсе школьной математики.
реферат, добавлен 08.10.2012Изучение понятий операций конъюнкции (логического умножения) и дизъюнкции (логическое сложение) над предикатами, заданными на множествах. Рассмотрение их свойств и приведение примеров доказательств равенства и тождества с использованием кругов Эйлера.
презентация, добавлен 05.01.2014Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Основные понятия теории множеств. Законы, которым подчиняются операции объединения, перечисления и дополнения множеств. Определение бинарных отношений, свойства операций над отношениями. Элементы теории подстановок. Основные понятия теории графов.
учебное пособие, добавлен 15.10.2016Элементы, из которых состоит множество. Примеры обозначений с помощью логической символики. Квантор всеобщности и существования. Свойства множеств. Операции логического сложения, умножения, разности. Окрестности точки х как особый вид множества.
лекция, добавлен 29.09.2013Введение в теорию множеств. Задачи, связанные с операциями над конечными множествами. Декартово произведение множеств. Основные элементарные функции. Понятия и величины дискретной математики. Элементы теории вероятностей и математической статистики.
лекция, добавлен 07.05.2014Детерминированные функции и способы их задания. Основные типы преобразующих автоматов. Последовательные автоматные вычисления. Построение логических цепей. Операции над словами и языками. Порождение и распознавание цепочек. Элементы теории кодирования.
учебное пособие, добавлен 20.05.2014Понятие множества, его структура и главные элементы, существующие операции и порядок их реализации, способы задания. Сущность и методика пересечения, объединения, вычитания. Механизм и основные правила нахождения декартового произведения множества.
контрольная работа, добавлен 24.02.2015- 40. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Элементы теории множеств и операции над ними. Предмет и задачи теории вероятности, основные аксиомы дискретных пространств. Правила комбинаторики: выборка, сочетание. Схемы независимых испытаний Д. Бернулли, теоремы С.Д. Пуассона и Муавра-Лапласа.
курс лекций, добавлен 08.01.2016Теоретические аспекты понятия разности двух множеств как теоретико-множественной операции в математике, особенности пустого множества. Основные свойства разности множеств и сущность законов де Моргана. Реализация операции с помощью компьютерных программ.
реферат, добавлен 18.02.2012Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Проблема сложности вычислений как одна из важнейших проблем в дискретной математики. Множества и основные операции над ними. Основные законы операций над множествами. Прямые произведения и функции. Теорема Кантора. Матричный способ задания множеств.
реферат, добавлен 16.05.2012Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Определение математических понятий: множество, история теории множеств, их сравнение и операции над ними; функция и способы ее задания, группа как непустое множество, конъюнктивная нормальная форма, формальная логика и нормальный алгоритм Маркова.
контрольная работа, добавлен 19.06.2011Рассмотрение основных свойств конъюнкции, дизъюнкции и отрицания, их отличия. Сущность логической функций как функции, у которой все переменные и сама функция могут принимать только два значения: 0 и 1. Понятие карт Карно, их порядок использования.
методичка, добавлен 09.11.2014Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015