Основы математической логики
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
Подобные документы
История появления программируемых логических контроллеров (PLC), их назначение, интеграция и функции в системах управления. Требования к контроллеру. Составные части, рабочий цикл PLC. Стандарт IEC, языки программирования. Требования техники безопасности.
лекция, добавлен 14.05.2014Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.
контрольная работа, добавлен 27.06.2015- 103. Основы информатики
Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013 Алгоритм как последовательность математических и логических операций. Совокупность допустимых действий, дискретность, определенность, результативность и массовость как характеристики алгоритма. Создание базы данных, таблиц и форм, отчетов и запросов.
реферат, добавлен 19.11.2010- 105. Оператор выбора
Запись логических выражений на языке Pascal и правила построения структурных операторов. Рассмотрение примеров использования пустого оператора. Реализация алгоритмической базовой конструкции выбора, организация ветвлений. Анализ выражения-селектора.
курсовая работа, добавлен 09.04.2013 Построение блок-схем, содержащих логические выражения в Microsoft Vision. Разработка программы на языке Паскаль. Описание алгоритма решения задачи графическим способом. Особенность тестирования программы. Главная характеристика построения блок-схемы.
практическая работа, добавлен 23.12.2018История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Метод формирования логических правил базы знаний экспертной системы. Логические ассоциативные правила, их формирование путём выделения из имеющегося покрытия, которое удовлетворяет определённому значению поддержки информативных информационных признаков.
статья, добавлен 29.06.2016- 109. Алгебра логики
Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.
реферат, добавлен 24.12.2013 Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.
статья, добавлен 22.03.2019Понятие запроса как обращения к БД для поиска или изменения в ней информации. Порядок создания запроса в Access, установка критериев отбора записей. Изучение логических операций "и", "или", использование построителя выражений и групповых запросов.
реферат, добавлен 23.10.2009Использование многомерных нечетких интервально-логических регуляторов для решения задач регулирования. Особенности программной реализации алгоритмов интервализации и деинтервализации. Примеры реализации алгоритма интервализации на разных языках.
статья, добавлен 17.07.2018Изучение функций аппаратного и программного обеспечения (элементов соединения и вспомогательных схем управления, их физических, электрических и логических параметров), предназначенного для сопряжения систем или частей системы (программ или устройств).
реферат, добавлен 08.12.2018- 114. Компьютерная графика
Предмет компьютерной графики. Обзор принципов и концепций машинной графики. Интерфейсы ядра графической системы, его принципы, цели и основные понятия. Примитивы графического вывода и атрибуты. Классы логических устройств ввода, его основные режимы.
курс лекций, добавлен 20.09.2017 Оценка места длительного хранения данных, не используемых в данный момент в оперативной памяти компьютера. Рассмотрение внешней памяти компьютера. Определение видов накопителей. Характеристика основных физических и логических параметров жестких дисков.
реферат, добавлен 29.11.2016Рассмотрение основных компонентов архитектуры современного ПК и их предназначения. Информационные связи и взаимное соединение основных логических узлов компьютера: центрального процессора; основной памяти; внешней памяти; периферийных устройств.
курсовая работа, добавлен 06.11.2017Анализ схемотехники мультиплексорных логических модулей для обработки многозначных и континуальных данных, разработка принципов их более простой структурной организации. Функциональные возможности, способы настройки, варианты схемной реализации модулей.
автореферат, добавлен 30.01.2018Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Необходимость создания системы для автоматизированной разработки многомерных интервально-логических регуляторов. Анализ редакторов блоков интервализации и деинтервализации. Проведение исследования механизма семантического анализа программного кода.
статья, добавлен 20.07.2018Структура программы в языке Паскаль, имена идентификаторов и типы данных. Простые и структурированные операторы, сущность арифметических и логических операций. Стандартные математические и арифметические функции. Основы визуального программирования.
курс лекций, добавлен 18.12.2016Устройство гибких и жестких магнитных дисков, принципы их работы. Физическая и логическая структуры дискеты. Этапы процесса форматирования магнитного диска, физическая разметка, создание логических структур и загрузка на диск операционной системы.
реферат, добавлен 01.06.2016Построение автомата Мура на элементе Д-триггера операции умножения с фиксированной запятой в прямом коде. Структура операционной части автомата и граф-схема алгоритма операции умножения. Системы логических функций для сигналов выхода и возбуждения.
курсовая работа, добавлен 16.05.2012Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Графический метод создания функционально-логической программы. Разработка корректных программ на базе представления сетевой грамматики управляющих отношений. Обзор основных методов и инструментов создания функционально-логических программ на примерах.
статья, добавлен 15.08.2020- 125. Основы информатики
Специфика процессов сбора, передачи, обработки, накопления и защиты информации. Методы решения логических операций с двоичным кодированием. Средства реализации информационных процессов. Основы работы с электронными таблицами и компьютерной графикой.
курс лекций, добавлен 23.05.2016