Основы математической логики
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
Подобные документы
Использование программируемых логических контроллеров вместо устройств с релейно-контактными схемами. Применение программируемых логических контроллеров в сфере промышленной автоматизации разных технологических процессов на больших и малых предприятиях.
лабораторная работа, добавлен 09.04.2023Демонстрация метода реализации на Турбо Прологе - подхода к решению задач, записываемых с помощью логических переменных. Порядок выполнения программы в системе Visual Prolog 5.2. Составление логической системы уравнений и решение задачи о назначении.
лабораторная работа, добавлен 15.12.2011Операции построения тестового набора для проверки заданной неисправности. Понятие логических кубов и действий над ними в d-алгоритме Рота. Построение таблиц истинности с сингулярным покрытием и с тестовыми сигналами, формула для их расчета в Open Office.
курсовая работа, добавлен 06.03.2011Способы организации и классификация мер информации. Программы и наборы данных, обеспечивающих функционирование вычислительной техники и выполнение пользователями своих рабочих функций. Вычисление арифметических и логических выражений на языке Паскаль.
курс лекций, добавлен 19.01.2014Описание логики работы разрабатываемого устройства на основе программируемых логических интегральных схем. Описание функционирования арифметико-логического устройства с помощью языка VerilogHDL. Анализ структуры программы, ее тела и принципа работы.
курсовая работа, добавлен 09.06.2014Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Разработка и реализация метода и структуры отечественных аппаратных и программных средств для изменения режимов работы цифровых устройств, реализованных на программируемых логических интегральных схемах, уменьшающих длину связей на печатных платах.
статья, добавлен 11.01.2018Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.
реферат, добавлен 14.05.2013Использование триггеров для построения цифровых устройств с памятью, таких как: счетчики, преобразователи последовательного кода и др. Таблица истинности синхронного RS-триггера, особенности его построения на логических элементах "2И-НЕ" и "2ИЛИ-НЕ".
презентация, добавлен 01.03.2016- 62. Типы сумматоров
Сумматоры как комбинированные цифровые устройства, осуществляющие арифметическое (в противоположность логическому) сложение и вычитание чисел. Анализ ядра схем при построение арифметико-логических устройств, реализующих несколько различных операций.
презентация, добавлен 03.12.2022 Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Моделирование и тестирование программного обеспечения контроллеров с использованием среды ForSyDe, поддерживающей функциональное программирование. Особенности обработки дискретных сигналов. Тестирование программируемых логических интегральных схем.
статья, добавлен 14.07.2016Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014Классификация цифровых интегральных схем по назначению. Особенности простых и сложных программируемых логических устройств. Использование микросхем с возможностями многократного программирования со стиранием и записью конфигурации в специальных режимах.
лекция, добавлен 12.06.2015Принципы создания вычислительных машин. Информационные основы и аппаратные средства компьютера. Общая характеристика фон-неймановской архитектуры электронно-вычислительных машин. Преимущества двоичной системы арифметических и логических операций.
реферат, добавлен 12.03.2016Сущность MS Excel, его основные задачи и возможности. Понятие функций как заранее определенной формулы. Порядок их классификации на 11 категорий. Характеристика математических, логических, текстовых функций. Процесс определения себестоимости продукции.
контрольная работа, добавлен 25.04.2013Анализ сфер использования программируемых логических контроллеров. Структура работы программируемого логического контроллера, анализ его функций и правил выбора. Анализ программируемых логических контроллеров в процессе проектирования конкретного объекта.
реферат, добавлен 17.05.2020Понятие и сущность архитектуры компьютера, классификация его устройств, их характеристика. Основные составные части компьютера, их структура, взаимосвязь, роль и значение в деятельности устройства. Логическая организация средств вычислительной системы.
курсовая работа, добавлен 08.09.2014Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.
контрольная работа, добавлен 16.02.2015Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015Алгоритм умножения с ускорением. Разработка содержательной граф-схемы. Построение графов автоматов Мили и Мура. Получение логических выражений для функций возбуждения счетчика. Построение функциональной схемы управляющего микропрограммного автомата.
курсовая работа, добавлен 27.08.2012Изучение типов данных Java и синтаксиса выражений. Приоритет выполнения арифметических, логических, условных и сравнительных операций, присваивания и сокращения. Вызов методов и доступ к полям. Комментарии в Java коде. Понятие реплицированного объекта.
презентация, добавлен 09.09.2012Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.
курсовая работа, добавлен 04.05.2014