Разработка программы для построения таблиц истинности заданного закона алгебры логики
Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
Подобные документы
Вентили, транзисторный инвертор. Использование особой алгебры, в которой все переменные и функции могут принимать только два значения. Таблица истинности для функции большинства. Реализация основных булевых функций. Выполнение дистрибутивного закона.
презентация, добавлен 06.10.2017Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011Основные методологические особенности системных исследований. Современное развитие системного подхода. Абстрактная модель системы произвольной природы. Физическое и математическое моделирование. Шкалы номинального типа. Основные функции алгебры логики.
учебное пособие, добавлен 01.01.2014- 29. Русская логика
Основные положения алгебры логики. Минимизация определённых булевых функций. Построение преобразователя двоичного кода в двоично-десятичный. Метод решения логических уравнений, основанный на применении алгоритма "Волга". Законы импликативных выражений.
курс лекций, добавлен 08.02.2018 Исследование системы счисления, представление числовой информации в компьютере. Логические основы построения и функционирования компьютера, составление таблицы истинности. Выполнение перевода числа, представленного в прямом двухбайтовом двоичном коде.
контрольная работа, добавлен 20.11.2020Функции отношения и множества. Логические связки, таблицы истины. Графы и деревья. Описательные формулировки, характеризующие множество как совокупность различных элементов. Операции над выражениями логического (булевского) типа в программировании.
презентация, добавлен 16.02.2015Изучение характеристики реляционной модели данных. Рассмотрение таблиц (отношений) в качестве алгебраических операндов. Особенности теоретико-множественных операций реляционной алгебры. Порядок создания онлайнового каталога замкнутой базы данных.
реферат, добавлен 30.11.2016Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019Разработка спецификации программы восходящего распознавателя для грамматики арифметического выражения. Способы реализации запросов SQL. Разработка физического плана их выполнения. Специфика оптимизации формул с использованием законов реляционной алгебры.
курсовая работа, добавлен 07.08.2013Выяснение сути арифметических и логических компьютерных операций, роли логики в вычислительной технике и информатике. Компьютерная модель и алгоритм решения задачи с помощью MS Excel на примере расчета дохода туристической фирмы от реализации путевок.
реферат, добавлен 17.01.2014Исследование структуры компьютера и принципов его функционирования. Понятие арифметико-логического устройства, его свойства и назначение. Анализ арифметических и логических операций в ЭВМ. Разработка программы реализации арифметического выражения.
контрольная работа, добавлен 07.04.2015Структурная схема работы компьютера, устройства ввода и вывода информации. Перевод чисел из двоичной системы счисления в десятичную и обратно. Перевод чисел из двоичной системы счисления в восьмеричную и шестнадцатеричную. Определения алгебры логики.
лабораторная работа, добавлен 21.09.2021Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014Сущность закона об информатизации, его основные причины разработки и характеристика некоторых положений. Правила построения таблицы истинности для булевой функции. Понятие алгоритмизации, ее основные правила и виды. Варианты арифметические операции.
контрольная работа, добавлен 14.05.2013Построение блок-схем, содержащих логические выражения в Microsoft Vision. Разработка программы на языке Паскаль. Описание алгоритма решения задачи графическим способом. Особенность тестирования программы. Главная характеристика построения блок-схемы.
практическая работа, добавлен 23.12.2018Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
курсовая работа, добавлен 06.01.2016Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Понятие программируемые логические матрицы и интегральные схемы, их характеристика. Разновидности логических матриц. Программируемые логические микросхемы, способы их программирования (транзисторы с плавающим затвором или двухзатворные транзисторы).
лекция, добавлен 29.09.2014Обзор систем компьютерной алгебры: Maple, Mathematica, Mathcad, Matlab, Derive, их сравнительная характеристика, функции и назначение. Возможности пакета MATLAB - высокопроизводительного языка для технических расчетов. Принципы реализации класса Polynom.
реферат, добавлен 05.10.2013Изучение преобразования сигнала логическим элементом. Рассмотрение схемы сложения одноразрядных двоичных чисел с учетом возможности переноса в старший разряд. Реализация логики в вычислительных системах. Анализ инвертора, выполняющего функцию отрицания.
реферат, добавлен 02.05.2018Разработка и анализ преимуществ применения алгебры кортежей для интеллектуального анализа данных методами неоднородных семантических сетей. Обоснование возможности ускорения процедуры логического вывода за счет учета внутренней структуры отношений.
статья, добавлен 19.01.2018История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012