Математическая логика
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
Подобные документы
Функциональная и структурная организации компьютера. Материнская плата — многослойная печатная плата, на которой устанавливаются основные компоненты ПК или сервера начального уровня; классификация. Центральный процессор; набор системной логики (чипсет).
курсовая работа, добавлен 13.03.2013- 77. Интелектуальная мультиагентная система сбора и анализа данных для моделей знаний предметных областей
Методы построения мультиагентной системы посредством логической оценки получаемых данных. Построение нейронной сети с нейронами, обладающими памятью и интегральной логикой. Реализация логики на основе генетического алгоритма совершенствования "генов".
статья, добавлен 13.01.2017 Особенности и основные признаки интеллектуальности информационных систем. Характеристика систем с интеллектуальным интерфейсом. Рассмотрение архитектуры и инструментария построения экспертных систем. Характеристика классификации систем нечеткой логики.
курсовая работа, добавлен 09.12.2013Математическая логика как инструмент для исследований в области оснований математики. Развитие теории алгоритмов. Реляционная модель данных. Отношение как файл. Ключевые поля отношений. Обобщенные теоретико-множественные операции над двумя отношениями.
реферат, добавлен 18.09.2013Разработка математической модели арифметического вычислителя на формальных нейронах. Создание алгоритма работы арифметического вычислителя на элементах нейронной логики. Разработка функциональной схемы определения межразрядного сквозного переноса.
автореферат, добавлен 07.06.2018Использование математического аппарата нечеткой логики в системах искусственного интеллекта для управления объектами в условиях неточности. Лингвистическая форма представления управляющих команд ограниченного потока слов и предложений словесного языка.
лекция, добавлен 28.08.2013Обеспечение эффективности функционирования систем управления базами данных (СУБД) с позиции моделей и методов, предназначенных для оптимизации запросов. Синтез математической логики и прикладной теории алгоритмов. Эволюция методов оптимизации запросов.
статья, добавлен 22.03.2016Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
статья, добавлен 18.01.2018Исследование систем выявления аномального состояния в компьютерных сетях, определение их недостатков. Разработка метода определения идентифицирующих термов, базирующегося на математических моделях и методах нечеткой логики, обоснование его эффективности.
статья, добавлен 21.02.2017Разработка системы на базе нечёткой логики, включающей в себя две входные лингвистические переменные: скорость ветра и курсовой угол ветра. Представление нечётких множеств, соответствующих термам лингвистических переменных. Границы функции принадлежности.
статья, добавлен 24.07.2018Оценка по сложности известной и предложенных реализаций логического элемента программируемых логических интегральных схем типа FPGA. Применение дешифратора DC LUT для реализации логических функций по аппаратным затратам при некотором увеличении задержки.
статья, добавлен 26.04.2019Состав директив. Операции присваивания значения и вычисления. Использование шаблонов и функций. Решение систем линейных алгебраических уравнений. Задачи линейной алгебры. Вычисление определителя матрицы n×n. Методы математического анализа.
реферат, добавлен 06.01.2014Функции отношения и множества. Логические связки, таблицы истины. Графы и деревья. Описательные формулировки, характеризующие множество как совокупность различных элементов. Операции над выражениями логического (булевского) типа в программировании.
презентация, добавлен 16.02.2015Развитие экспертных систем (ЭС) как значительный практический результат в применении методов искусственного интеллекта. ЭС - область внедрения алгоритмов нечеткой логики. Классификация экспертных систем, этапы их разработки и основные сферы применения.
курсовая работа, добавлен 28.01.2015Важность проблем интеллектуализации принятия решений в медицинской диагностики. Описание модели информационной системы принятия решения о состоянии пациента на базе нечеткой логики, разработанной в среде Matlab. Эффективность разработки данной системы.
статья, добавлен 06.12.2016Изучение преобразования сигнала логическим элементом. Рассмотрение схемы сложения одноразрядных двоичных чисел с учетом возможности переноса в старший разряд. Реализация логики в вычислительных системах. Анализ инвертора, выполняющего функцию отрицания.
реферат, добавлен 02.05.2018Понятие математической модели, свойства моделей. Применение численных методов алгебры и анализа в математическом моделировании. Обзор систем компьютерной математики. Расчет значения функции напряжения на ёмкости в схеме без диода и в схеме с диодом.
контрольная работа, добавлен 28.03.2013Рассмотрение проблемы самоадаптации программных систем. Сравнительная классификация подходов к программной адаптации и основные способы реализации адаптивных механизмов. Особенности применения функциональных комбинаторов и аппарата комбинаторной логики.
статья, добавлен 14.02.2022Вентили, транзисторный инвертор. Использование особой алгебры, в которой все переменные и функции могут принимать только два значения. Таблица истинности для функции большинства. Реализация основных булевых функций. Выполнение дистрибутивного закона.
презентация, добавлен 06.10.2017Пример использования нечетких множеств для описания выбора решения в архитектуре. Различные комбинации и перестановки элементов, имеющие место при создании архитектурной композиции. Применение нечеткой логики в архитектуре и, в частности, в искусстве.
статья, добавлен 16.01.2018Разработка, назначение и реализация гибридной модели, основанной на сочетании фреймового, продукционного, объектно-ориентированного и реляционного подходов к представлению знаний в сочетании с элементами нечеткой логики и механизма "правил активации".
статья, добавлен 16.01.2018Обобщение понятий истинного и ложного суждения в классической логике. Рассмотрение числовых характеристик суждений. Изучение вопроса упорядочения суждений в Vn-логиках. Анализ процесса формирования сложных суждений в многоаспектных векторных логиках.
статья, добавлен 18.01.2018Обзор состояния проблемы аналитической обработки банковской информации. Решения для банков на основе компьютерных технологий. Информационно-логическая модель математической системы и ее структурно-функциональная схема. Проектирование прототипа интерфейса.
дипломная работа, добавлен 30.06.2017Понятие стиля программирования. Базовые концепции языков программирования и их сочетания. Использование операторов goto либо объектов, обменивающихся информацией через общее поле памяти. Функциональный и объектно-ориентированный стиль программирования.
статья, добавлен 02.10.2012Изучение нечетких систем искусственного интеллекта, основанных на использовании математического аппарата нечеткой логики. Понятие границы между множествами значений переменных с различным смысловым понятием. Анализ сущности лингвистической переменной.
лекция, добавлен 21.10.2013