Элементы математической логики
Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
Подобные документы
Комбинационный способ обработки информации. Минимизация по картам Карно. Запись и считывание результата с регистров с помощью импульсов синхронизации. Постоянное запоминающее устройство как реализация комбинационной схемы. Метод прямого считывания.
лекция, добавлен 22.10.2013Описание особенностей непрерывных частных производных заданной функции. Определение полного дифференциала данной функции. Изучение формул, когда х и у были функциями одной переменной. Расчет коэффициентов при дифференциалах независимых переменных.
реферат, добавлен 26.04.2014Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.
статья, добавлен 27.02.2019Определение выхода при помощи текущего состояния входов как отличительная особенность комбинационных цифровых схем. Характеристика основных аксиом булевой алгебры. Исследование ключевых правил перемещения инверсии. Методика построения карты Карно.
презентация, добавлен 13.10.2016Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014Понятие и порядок определения точки сгущения множества. Исследование непрерывных функций. Частная производная функции. Дифференцируема в точке функция и основные требования к ней. Определение касательного вектора и плоскости к поверхности. Матрица Якоби.
шпаргалка, добавлен 11.04.2012Область определения функции нескольких переменных. Частные производные функций нескольких переменных. Дифференциал функции нескольких переменных. Скалярные и векторные поля. Производная по направлению. Градиент дифференцируемого скалярного поля.
лекция, добавлен 29.09.2014Свойства степенной функции. Область определения, множество значений, нули функции при х=0. Графики функции при различных значениях коэффициента в степени, а также с положительным действительным нецелым числом для нормального отображения графика.
презентация, добавлен 29.02.2012Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Введение в теорию множеств. Задачи, связанные с операциями над конечными множествами. Декартово произведение множеств. Основные элементарные функции. Понятия и величины дискретной математики. Элементы теории вероятностей и математической статистики.
лекция, добавлен 07.05.2014Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Исследование зависимости свойств и графика степенной функции от свойств степени с действительным показателем. Характеристика области определения, множества значений, функции на промежутке. Определение показателей с натуральным, четным и нечетным числом.
презентация, добавлен 02.03.2012Управление интеллектуальным мобильным роботом в неструктурированной среде. Математический аппарат нечетких множеств: типовые формы кривых для задания функций принадлежности, примеры: треугольная, трапецеидальная и гауссова функции принадлежности.
контрольная работа, добавлен 28.05.2013Характеристика главных способов задания функции: табличная, аналитическая. Сущность области определения и предел функции двух переменных. Основные правила нахождения пределов. Непрерывность функции двух переменных, описание свойств и определений.
лекция, добавлен 29.09.2013Введение понятия бинарного события. Рассмотрение событий, задаваемых булевыми функциями. Доказывание теоремы о вероятности события. Получение расчетных формул для условных вероятностей и формул Байеса, построение задач на применение полученных формул.
статья, добавлен 12.08.2020Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Понятие функции в математике, её основные свойства, аналитический и табличный способы задания. Виды функций и их свойства, коэффициент пропорциональности k. Область определения функции. Правила определения областей возрастания и убывания функций.
контрольная работа, добавлен 13.10.2015Нахождение области определения функции двух вещественных переменных. Получение уравнения изолиний функции двух вещественных переменных. Нормальный вектор касательной плоскости. Математические модели пары двойственных задач линейного программирования.
контрольная работа, добавлен 25.06.2013Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017Характеристика понятия и сущности, способов задания, основных операций, свойств характеристических функций множеств. Изучение декартового произведения множеств, сравнение их мощности, описание формул включений и исключений. Метод математической индукции.
лекция, добавлен 28.04.2015Понятие математической функции. Основные элементарные функции. Поиск области определения функций. Предел числовой последовательности, а также функции в бесконечности и точке. Вычисление пределов. Применение бесконечно малых величин к вычислению пределов.
методичка, добавлен 21.03.2013