Русская логика
Основные положения алгебры логики. Минимизация определённых булевых функций. Построение преобразователя двоичного кода в двоично-десятичный. Метод решения логических уравнений, основанный на применении алгоритма "Волга". Законы импликативных выражений.
Подобные документы
Формы мышления и история развития алгебры логики. Примеры логических высказываний и умозаключений. Принцип работы одноразрядного двоичного сумматора. Основные логические элементы компьютера. Решение содержательных задач с помощью алгебры логики.
презентация, добавлен 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- 14. Машинные языки
Арифметические действия (сложение и вычитание, умножение и деление) в прямом, обратном и дополнительном кодах. Порядок выполнения сложения в двоично-десятичном коде. Представление двоичного числа в коде Грея. Кодирование числа с помощью кода Хэмминга.
контрольная работа, добавлен 16.06.2021 Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
курсовая работа, добавлен 06.01.2016Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015Применение графического метода, использующего карты Карно для минимизации булевых функций относительно небольшого числа переменной. Построение таблицы истинности функции, особенности образования импликант разных рангов. Нахождение тупиковых форм.
реферат, добавлен 07.03.2013Сущность и разработка принципиальной схемы коммутатора, синтез и выбор микросхемы двоичного счетчика, дешифратора. Синтез преобразователя двоично-десятичного кода в код цифрового индикатора, особенности процесса подключение семисегментных индикаторов.
курсовая работа, добавлен 11.02.2016- 21. Метод итераций
Изучение способов решения алгебраических и трансцендентных уравнений. Описание назначения, расчет алгоритма, построение блок-схемы метода решения алгебраических уравнений методом итераций. Разработка программы для определения интервалов уравнений функции.
контрольная работа, добавлен 04.12.2013 Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
курсовая работа, добавлен 09.06.2013История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012- 24. Код Хемминга
История создания двоичного циклического кода Хемминга для защиты памяти в компьютерной технике. Принципы кодирования и алгоритм декодирования информации. Принципиальная схема кодера. Логика построения программного декодера несистематического кода.
курсовая работа, добавлен 06.06.2017 Введение в динамическую генерацию кода. Отображение абстрактного синтаксиса выражений в CIL. Оптимизация линейных участков кода. Peephole-оптимизация и генерация развилок, содержащих инструкции переходов. Абстрактный синтаксис логических выражений.
курсовая работа, добавлен 19.05.2009