Элементы математической логики

Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.

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

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

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

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

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

  • Многочлен или полином: алгебраическая сумма одночленов. Операции над многочленами, их кольцо над областью целостности. Схема Горнера и теорема Безу. Вычисление наибольшего общего делителя. Наименьшее общее кратное. Сравнения многочленов по многочлену.

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

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

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

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

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

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

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

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

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

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

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

  • Операции над событиями и их запись. Относительная частота случайного события, ее устойчивость. Изучение нормального закона распределения. Дисперсия и среднее квадратичное отклонение случайной величины. Неравенства Чебышева и закон больших чисел.

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

  • Определение отсутствия в теории множеств с самопринадлежностью парадокса Мириманова, парадокса Кантора, парадокса Бурали–Форти. Обоснование утверждения о том, что объединение порядковых чисел является порядковым числом - основы парадокса Бурали–Форти.

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

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

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

  • Сведения из теории множеств. Натуральные и целые числа: отношение эквивалентности, арифметические операции, отношение порядка на множестве. Изучение вещественных чисел. Анализ особенностей введения действительных чисел для студентов и школьников.

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

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

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

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

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

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

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

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

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

  • Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.

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

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

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

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

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

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

    книга, добавлен 07.08.2013

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

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

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

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

  • Определение понятия булевой функции как n-местной алгебраической операции на множестве. Нахождение фиктивных и существенных переменных. Алгоритм определения переменных. Принцип построения блок-схемы и листинг для программы нахождения фиктивной функции.

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

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

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

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

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

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