Основы математической логики

Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.

Подобные документы

  • Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.

    контрольная работа, добавлен 27.06.2015

  • Алгоритм как последовательность математических и логических операций. Совокупность допустимых действий, дискретность, определенность, результативность и массовость как характеристики алгоритма. Создание базы данных, таблиц и форм, отчетов и запросов.

    реферат, добавлен 19.11.2010

  • Запись логических выражений на языке Pascal и правила построения структурных операторов. Рассмотрение примеров использования пустого оператора. Реализация алгоритмической базовой конструкции выбора, организация ветвлений. Анализ выражения-селектора.

    курсовая работа, добавлен 09.04.2013

  • Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.

    учебное пособие, добавлен 25.11.2013

  • Построение блок-схем, содержащих логические выражения в Microsoft Vision. Разработка программы на языке Паскаль. Описание алгоритма решения задачи графическим способом. Особенность тестирования программы. Главная характеристика построения блок-схемы.

    практическая работа, добавлен 23.12.2018

  • Метод формирования логических правил базы знаний экспертной системы. Логические ассоциативные правила, их формирование путём выделения из имеющегося покрытия, которое удовлетворяет определённому значению поддержки информативных информационных признаков.

    статья, добавлен 29.06.2016

  • История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.

    реферат, добавлен 07.12.2011

  • Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.

    статья, добавлен 22.03.2019

  • Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.

    реферат, добавлен 24.12.2013

  • Понятие запроса как обращения к БД для поиска или изменения в ней информации. Порядок создания запроса в Access, установка критериев отбора записей. Изучение логических операций "и", "или", использование построителя выражений и групповых запросов.

    реферат, добавлен 23.10.2009

  • Использование многомерных нечетких интервально-логических регуляторов для решения задач регулирования. Особенности программной реализации алгоритмов интервализации и деинтервализации. Примеры реализации алгоритма интервализации на разных языках.

    статья, добавлен 17.07.2018

  • Изучение функций аппаратного и программного обеспечения (элементов соединения и вспомогательных схем управления, их физических, электрических и логических параметров), предназначенного для сопряжения систем или частей системы (программ или устройств).

    реферат, добавлен 08.12.2018

  • Предмет компьютерной графики. Обзор принципов и концепций машинной графики. Интерфейсы ядра графической системы, его принципы, цели и основные понятия. Примитивы графического вывода и атрибуты. Классы логических устройств ввода, его основные режимы.

    курс лекций, добавлен 20.09.2017

  • Оценка места длительного хранения данных, не используемых в данный момент в оперативной памяти компьютера. Рассмотрение внешней памяти компьютера. Определение видов накопителей. Характеристика основных физических и логических параметров жестких дисков.

    реферат, добавлен 29.11.2016

  • Рассмотрение основных компонентов архитектуры современного ПК и их предназначения. Информационные связи и взаимное соединение основных логических узлов компьютера: центрального процессора; основной памяти; внешней памяти; периферийных устройств.

    курсовая работа, добавлен 06.11.2017

  • Анализ схемотехники мультиплексорных логических модулей для обработки многозначных и континуальных данных, разработка принципов их более простой структурной организации. Функциональные возможности, способы настройки, варианты схемной реализации модулей.

    автореферат, добавлен 30.01.2018

  • Необходимость создания системы для автоматизированной разработки многомерных интервально-логических регуляторов. Анализ редакторов блоков интервализации и деинтервализации. Проведение исследования механизма семантического анализа программного кода.

    статья, добавлен 20.07.2018

  • Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.

    статья, добавлен 20.04.2019

  • Устройство гибких и жестких магнитных дисков, принципы их работы. Физическая и логическая структуры дискеты. Этапы процесса форматирования магнитного диска, физическая разметка, создание логических структур и загрузка на диск операционной системы.

    реферат, добавлен 01.06.2016

  • Структура программы в языке Паскаль, имена идентификаторов и типы данных. Простые и структурированные операторы, сущность арифметических и логических операций. Стандартные математические и арифметические функции. Основы визуального программирования.

    курс лекций, добавлен 18.12.2016

  • Построение автомата Мура на элементе Д-триггера операции умножения с фиксированной запятой в прямом коде. Структура операционной части автомата и граф-схема алгоритма операции умножения. Системы логических функций для сигналов выхода и возбуждения.

    курсовая работа, добавлен 16.05.2012

  • Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.

    статья, добавлен 18.01.2018

  • Графический метод создания функционально-логической программы. Разработка корректных программ на базе представления сетевой грамматики управляющих отношений. Обзор основных методов и инструментов создания функционально-логических программ на примерах.

    статья, добавлен 15.08.2020

  • Специфика процессов сбора, передачи, обработки, накопления и защиты информации. Методы решения логических операций с двоичным кодированием. Средства реализации информационных процессов. Основы работы с электронными таблицами и компьютерной графикой.

    курс лекций, добавлен 23.05.2016

  • Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.

    статья, добавлен 13.03.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.