Основные законы алгебры логики
Основные понятия математической логики. Примеры логических выражений. Использование дизъюнкции в логическом выражении. Повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Обозначения истины или лжи.
Подобные документы
Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Пример графа для иллюстрации понятия "кратчайший путь". Граф с официальным циклом. Иллюстрация логики алгоритма Форда-Беллмана. Работа алгоритма Е. Дейкстры. Формализованная запись логики. Пути в бесконтурном графе. Использование алгоритма Флойда.
презентация, добавлен 24.09.2017Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
курсовая работа, добавлен 06.01.2016Этапы развития логики как науки, изучающей законы и формы мышления. Анализ логической схемы работы компьютера. Понятие высказывания, его виды. оценка истинности и инверсия. Дизъюнкция как логическое сложение. Логические выражения и таблицы истинности.
презентация, добавлен 12.03.2021Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019Оценка по сложности известной и предложенных реализаций логического элемента программируемых логических интегральных схем типа FPGA. Применение дешифратора DC LUT для реализации логических функций по аппаратным затратам при некотором увеличении задержки.
статья, добавлен 26.04.2019Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.
реферат, добавлен 05.10.2014Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.
контрольная работа, добавлен 27.06.2015Изучение темы "Основы робототехники с Lego Mindstorms NXT 2.0", непосредственно для начинающих, при изучении палитры данных: их настроек, возможностей и примеры программирования в среде NXT-G 2.0. Внешний вид разъемов данных и цветовая окраска шин данных.
статья, добавлен 10.08.2018Рассмотрение типов шкал: абсолютной, относительной, порядковой, семантической. Анализ преимуществ псевдофизических логик, которые обеспечивают представление программного обеспечения на логическом языке. Изучение типов объектов: точечных и интервальных.
презентация, добавлен 19.09.2017Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013Рассмотрение методов вычисления выражений и построения графиков. Определение техники символьного преобразования выражений. Описание особенностей работы с векторами и матрицами. Основные способы нахождения пределов функций, производных и интегралов.
методичка, добавлен 17.03.2015Бинарные разносхемные операции реляционной алгебры. Использование выражений в списке выбора. Выполнение команд модификации данных. Примеры использования методов оптимизации запросов. Алгоритм перераспределения данных индексного блока СУБД "Oracle".
методичка, добавлен 21.05.2014Использование алгебры логики при построении основных узлов ЭВМ, логический элемент как часть электронной схемы компьютера. Применение триггеров в регистрах компьютера для запоминания двоичного кода. Принцип работы регистра памяти, сумматора, дешифратора.
лекция, добавлен 20.01.2015- 45. Приводы CD-R/RW
Основные производители CD-RW. Процесс записи компакт-дисков. Кодирование микроопераций и логических условий. Определение форматов данных. Алгоритмы умножения и дизъюнкции. Структурная схема управляющего автомата. Определение формата микрокоманд.
курсовая работа, добавлен 13.05.2013 Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Использование компьютеров для создания баз знаний, их применение в различных областях науки и техники. Развитие нейрокибернетики как науки, применение методов математической логики для разработки аппаратно-программных средств искусственного интеллекта.
реферат, добавлен 25.01.2013Реализация геоинформационных систем за рубежом и их основные понятия и возникновение. Основные программы ESRI (серверные, вьюверы). Модули семейства ArcGIS. История и развитие геоинформационных систем в Российской Федерации. Использование систем в Японии.
реферат, добавлен 26.05.2014Механизмы использования математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ. Принципы алгоритмизации, программирования и решения задач в информатике. Описание прикладного программного обеспечения электронных вычислительных машин.
курсовая работа, добавлен 22.11.2012Характеристика программируемого логического контроллера Siemens S7-1500. Использование его в системах автоматизации. Основные способы подключения модулей. Применение программного обеспечения TIA Portal. Предназначение языка релейной (лестничной) логики.
курсовая работа, добавлен 17.02.2019