Математическая логика
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
Подобные документы
Научный подход к описанию структурной связи информационных систем и искусственного интеллекта. Эвристическое программирование в экспертных системах. Формальное представление системы программирования Prolog, как языка предикатов математической логики.
курсовая работа, добавлен 15.05.2014Анализ трудностей синтеза систем управления, функционирующих в условиях неопределенности. Применение аппарата нечёткой логики, который позволяет решить задачу адаптации системы управления самонаводящихся зенитных управляемых ракет к изменяющимся условиям.
статья, добавлен 27.02.2019Система счисления как система кодирования чисел, позволяющая выполнять операции кодирования и декодирования. Примеры применения различных систем счисления. Процедура перевода десятичных чисел в р-ную систему. Законы алгебры высказываний и предикатов.
реферат, добавлен 15.12.2010Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Анализ подходов к оценке пропускной способности автоматизированной системы управления в ходе динамики местоположения объектов противостоящей системы. Методика разработки модели оценки пропускной способности с использованием аппарата нечеткой логики.
статья, добавлен 02.04.2019Структурная схема работы компьютера, устройства ввода и вывода информации. Перевод чисел из двоичной системы счисления в десятичную и обратно. Перевод чисел из двоичной системы счисления в восьмеричную и шестнадцатеричную. Определения алгебры логики.
лабораторная работа, добавлен 21.09.2021Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.
презентация, добавлен 26.05.2016Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
контрольная работа, добавлен 11.10.2013Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Изучение темы "Основы робототехники с Lego Mindstorms NXT 2.0", непосредственно для начинающих, при изучении палитры данных: их настроек, возможностей и примеры программирования в среде NXT-G 2.0. Внешний вид разъемов данных и цветовая окраска шин данных.
статья, добавлен 10.08.2018Пример графа для иллюстрации понятия "кратчайший путь". Граф с официальным циклом. Иллюстрация логики алгоритма Форда-Беллмана. Работа алгоритма Е. Дейкстры. Формализованная запись логики. Пути в бесконтурном графе. Использование алгоритма Флойда.
презентация, добавлен 24.09.2017Преимущества применения нейронных сетей для распознавания объектов. Разработка алгоритма обработки образа с помощью нечеткой логики в системе технического зрения. Бинаризация и кодирование изображения при его преобразовании из цветного в оттенки серого.
курсовая работа, добавлен 29.03.2021Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018Описание реляционной модели данных. Использование null-значений вместо неизвестных данных. Парадоксальные следствия применения трехзначной логики. Уникальные атрибуты, используемые для идентификации кортежей. Операции, нарушающие ссылочную целостность.
учебное пособие, добавлен 16.03.2015Разработка модели оценки уровня мощности DDoS-атак на основе применения нечеткой логики. Анализ характеристик распределенных DDoS-атак. Методика оценки мощности атак типа "отказ в обслуживании" на основе параметров: объем, скорость, продолжительность.
статья, добавлен 17.10.2024Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017Потребность в автоматизации обработки данных и вычислений. Механические счетные приспособления. Появление первого вычислительного устройства. История возникновения программирования. Развитие электроники, автоматики, математической логики в 30-40 гг. XX в.
реферат, добавлен 20.08.2013Определение точности результата выполнения математической операции на примере заданных десятичных чисел. Разработка микропрограммы выполнения математической операции. Структура системы операционного автомата, построение логической и граф-схемы алгоритма.
курсовая работа, добавлен 09.09.2010Изучение основных видов функций принадлежности нечетких множеств. Способы построения и коррекции функций принадлежности в пакете программ MatLab. Состав и возможности инструментария нечеткой логики Fuzzy Logic Toolbox, входящего в пакет программ MatLab.
лабораторная работа, добавлен 25.08.2011Метод решения проблем с множеством источников неопределенности информации. Применение аспектов теории вероятностей в экспертных системах. Коэффициенты уверенности и условные вероятности. Подход с использованием нечеткой логики и теории функций доверия.
статья, добавлен 26.08.2010Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.
реферат, добавлен 14.05.2013Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Применение графического метода, использующего карты Карно для минимизации булевых функций относительно небольшого числа переменной. Построение таблицы истинности функции, особенности образования импликант разных рангов. Нахождение тупиковых форм.
реферат, добавлен 07.03.2013