Функции алгебры логики

Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Логарифмическая производная функции. Производная степенно показательной функции. Производные и дифференциалы высших порядков. Формула Тейлора с остаточным членом в форме Пеано. Теоремы о дифференцируемых функциях. Формулы разложения элементарных функций.

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

  • Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.

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

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

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

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

    краткое изложение, добавлен 25.03.2011

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

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

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

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

  • Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.

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

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

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

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

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

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

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

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

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

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