Математическая логика

Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Раскрытие понятия математической логики. Логические схемы компьютера, основанные на булевой алгебре. Характеристика логических операций: основных и производных, приоритеты операций. Основные законы Булевой алгебры. Логические элементы компьютера.

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

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

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

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

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

  • Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.

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

  • Использование математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ при алгоритмизации решения задач. Характеристика пакетов прикладных программ. Основные тенденции в области развития проблемно-ориентированных программных средств.

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

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

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

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

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

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

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

  • Анализ взаимосвязи между логикой и функционированием электронно-вычислительных машин. Особенности операций дизъюнкции и конъюнкции с помощью ЭВМ. Использование математической логики при построении базах данных, электронных таблиц и программировании.

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

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