Булева алгебра
Раскрытие понятия математической логики. Логические схемы компьютера, основанные на булевой алгебре. Характеристика логических операций: основных и производных, приоритеты операций. Основные законы Булевой алгебры. Логические элементы компьютера.
Подобные документы
Формы мышления и история развития алгебры логики. Примеры логических высказываний и умозаключений. Принцип работы одноразрядного двоичного сумматора. Основные логические элементы компьютера. Решение содержательных задач с помощью алгебры логики.
презентация, добавлен 05.02.2015Логические операции: дизъюнкция, конъюнкция и отрицание. Описание логических операций таблицами истинности, отражающими результаты сложных высказываний. Логические основы компьютера и законы алгебры логики. Триггер как элемент памяти, схема RS-триггера.
курсовая работа, добавлен 07.01.2015Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
статья, добавлен 22.03.2019Сущность алгебры логики как математической основы цифровой и вычислительной техники. Характеристика логического элемента как электронного устройства, реализующего одну из логических операций. Логическое сложение и умножение в компьютерах, функция Пирса.
реферат, добавлен 04.10.2014История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
лекция, добавлен 29.10.2013Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
курсовая работа, добавлен 09.06.2013Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
контрольная работа, добавлен 20.09.2015Этапы развития логики как науки, изучающей законы и формы мышления. Анализ логической схемы работы компьютера. Понятие высказывания, его виды. оценка истинности и инверсия. Дизъюнкция как логическое сложение. Логические выражения и таблицы истинности.
презентация, добавлен 12.03.2021Характеристика основных составных частей персонального компьютера: системный блок, клавиатура, монитор, мышь, периферийные устройства. Анализ логических основ работы электронно-вычислительной техники, основы алгебры логики, основные алгоритмы и программы.
реферат, добавлен 13.09.2014- 13. Алгебра логики
Задачи алгебры логики как математического аппарата, ее связь с двоичным кодированием и основные законы. Особенности логических высказываний и формул. Порядок записи данных и команд в памяти компьютера и регистрах процессора. Сущность триггера и сумматора.
реферат, добавлен 22.02.2013 Значение логических переменных. Тест для неисправностей внутренней линии схем. Частная булева производная. Тестовые наборы для проверки неисправностей. Формула для вычисления булевой производной. Внутренние переменные схемы. Пути к контролируемому выходу.
лабораторная работа, добавлен 04.05.2012Формы представления информации. Представление чисел в двоичном коде. Переход из одной системы счисления в другую. Булева алгебра и логические схемы компьютера. Текстовые редакторы, процессоры. Текстовый процессор Word. Прикладное программное обеспечение.
шпаргалка, добавлен 13.07.2011Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014Исследование структуры компьютера и принципов его функционирования. Понятие арифметико-логического устройства, его свойства и назначение. Анализ арифметических и логических операций в ЭВМ. Разработка программы реализации арифметического выражения.
контрольная работа, добавлен 07.04.2015Представление информации. Количество информации и единицы ее измерения. Системы счисления и перевод чисел из одной системы счисления в другую. Двоичная арифметика. Основные понятия и операции формальной логики. Основные логические элементы компьютера.
методичка, добавлен 12.07.2010Понятие и основные характеристики процессоров. Процессор – устройство компьютера, предназначенное для выполнения арифметических и логических операций над данными, а также выполняющее координацию работы всех устройств компьютера. Объем кэш памяти ЦП.
курсовая работа, добавлен 16.09.2023Понятие программируемые логические матрицы и интегральные схемы, их характеристика. Разновидности логических матриц. Программируемые логические микросхемы, способы их программирования (транзисторы с плавающим затвором или двухзатворные транзисторы).
лекция, добавлен 29.09.2014Основные понятия математической логики. Примеры логических выражений. Использование дизъюнкции в логическом выражении. Повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Обозначения истины или лжи.
контрольная работа, добавлен 18.12.2013Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Функции отношения и множества. Логические связки, таблицы истины. Графы и деревья. Описательные формулировки, характеризующие множество как совокупность различных элементов. Операции над выражениями логического (булевского) типа в программировании.
презентация, добавлен 16.02.2015Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.
реферат, добавлен 14.05.2013