Русская логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    разработка урока, добавлен 04.04.2015

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

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

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

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

  • Арифметические действия (сложение и вычитание, умножение и деление) в прямом, обратном и дополнительном кодах. Порядок выполнения сложения в двоично-десятичном коде. Представление двоичного числа в коде Грея. Кодирование числа с помощью кода Хэмминга.

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

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

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

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

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

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

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

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

    лабораторная работа, добавлен 13.12.2015

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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