Основы математической логики
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
Подобные документы
Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012Логический вентиль – своего рода атом, из которого состоят электронные узлы ЭВМ. Принцип работы вентильных и логических схем. Характеристика логических функций отрицания, инверсии, дизъюнкции и конъюнкции. Примеры использования логических функций.
лекция, добавлен 15.12.2010Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
курсовая работа, добавлен 05.05.2015Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011Проблемы технического диагностирования программируемых логических интегральных схем. Построение геометрической формы автоматных моделей, Реализация алгоритма ортогонального преобразования. Анализ эффективности применения классических методов интерполяции.
статья, добавлен 28.02.2016Понятие и основные характеристики процессоров. Процессор – устройство компьютера, предназначенное для выполнения арифметических и логических операций над данными, а также выполняющее координацию работы всех устройств компьютера. Объем кэш памяти ЦП.
курсовая работа, добавлен 16.09.2023Получение класса унифицированных логических устройств ввода - интеракторов. Анализ моделей стандартных логических устройств ввода, выделение из них инвариантной части. Реализация интерактора средствами объектно-ориентированного программирования.
статья, добавлен 24.08.2020Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.
презентация, добавлен 26.05.2016Анализ взаимосвязи между логикой и функционированием электронно-вычислительных машин. Особенности операций дизъюнкции и конъюнкции с помощью ЭВМ. Использование математической логики при построении базах данных, электронных таблиц и программировании.
презентация, добавлен 19.10.2014- 37. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Моделирование логических элементов для реализации систем функций в конфигурируемых логических блоках ПЛИС типа FPGA на базе дешифратора – DC LUT и ДНФ – конфигурируемого логического элемента. Анализ системы схемотехнического моделирования NI Multisim 10.
статья, добавлен 26.04.2019Использование арифметико-логических устройств (АЛУ) для выполнения арифметических и логических преобразований над числами и словами, логического сложения и умножения двух слов, сдвигов слов, преобразования двоичных кодов и некоторых других операций.
статья, добавлен 22.03.2019Развитие навыков формализации и моделирования на примере искусственно созданных предметных областей, определенных среди логических задач повышенной сложности. Использование основных языков логического программирования и средств математической логики.
статья, добавлен 26.09.2017Меню системы моделирования Еlectronics Workbench 5.12. Основы проектирования электрических и электронных схем. Особенности работы логических элементов в среде Еlectronics Workbench 5.12. Схемотехника базовых логических элементов, работа d-триггера.
дипломная работа, добавлен 14.06.2017Построение структуры логического устройства согласно полученному языковому выражению. Проведение исследования работы программы моделирования, выполненной в среде Borland Delphi 7. Формирование логических функций с использованием системы моделирования.
статья, добавлен 25.08.2020Создание и редактирование электронных таблиц, ввод формул в таблицу, сохранение таблицы на диске. Использование встроенных функций и операций ЭТ. Использование логических функций. Построение диаграмм и графиков. Порядок сортировки и фильтрации данных.
практическая работа, добавлен 23.07.2017Исследование возможностей нестандартных логических элементов, ускоряющих обработку данных в распределенных системах и потребляющих малую мощность. Анализ системы с совмещением вычислений и передачи данных. Выполнение логических сложений и отрицаний.
статья, добавлен 07.11.2018Характеристика структурно-кинематической схемы автомата. Анализ показателей таблицы включений с виртуальными переключателями. Методика построения начальной циклограммы работы механизмов. Оценка полученных результатов минимизации логических функций.
курсовая работа, добавлен 09.11.2017- 46. ПЛМ Altera
Определение понятия и описание программируемых логических интегральных схем и программируемых логических матриц. История их появления, развития, а также основные производители современных вычислительных систем на основе ПЛИС и комплектующих к ним.
реферат, добавлен 01.03.2014 Приобретение навыков программирования арифметико-логических операций командами микроконтроллера. Характеристика блок-схемы алгоритма и исходного кода программы. Влияние арифметических и логических указаний командной строки МК Intel 8051 на флаги.
лабораторная работа, добавлен 30.11.2016Арифметические операции с использованием булевой алгебры. Проектирование комбинационных логических схем. Расчет по математическим основам проектирования цифровых устройств. Синтез комбинационных и последовательностных логических схем и их проектирование.
курсовая работа, добавлен 02.04.2015Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Особенности определения аппаратного обеспечения компьютера и построение его структуры. Характеристика материнской платы, состояния памяти. Использование стандартных средств Windows. Проведение синтеза логических схем на элементах 2И-НЕ и 2ИЛИ-НЕ.
курсовая работа, добавлен 07.07.2012