Булева алгебра. Логические основы компьютера
Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
Подобные документы
Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Понятие и сущность логики. Становления структурной лингвистики, её взаимодействие с математикой. Логические операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация. Создание обучающего ресурса, проведение педагогического эксперимента.
дипломная работа, добавлен 20.12.2013История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015- 14. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017- 17. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020- 19. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 - 20. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018