Математическая логика
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
Подобные документы
Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Основные методологические особенности системных исследований. Современное развитие системного подхода. Абстрактная модель системы произвольной природы. Физическое и математическое моделирование. Шкалы номинального типа. Основные функции алгебры логики.
учебное пособие, добавлен 01.01.2014Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012Теория алгоритмов как теоретический фундамент вычислительных наук. Понятие алгоритма, его свойства и особенности изучения. Тесная связь информатики и математики. Основная идея математической логики (метаматематики) - формализация знаний и рассуждений.
курсовая работа, добавлен 29.12.2011Использование алгебры логики при построении основных узлов ЭВМ, логический элемент как часть электронной схемы компьютера. Применение триггеров в регистрах компьютера для запоминания двоичного кода. Принцип работы регистра памяти, сумматора, дешифратора.
лекция, добавлен 20.01.2015Характеристика основных составных частей персонального компьютера: системный блок, клавиатура, монитор, мышь, периферийные устройства. Анализ логических основ работы электронно-вычислительной техники, основы алгебры логики, основные алгоритмы и программы.
реферат, добавлен 13.09.2014Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Развитие навыков формализации и моделирования на примере искусственно созданных предметных областей, определенных среди логических задач повышенной сложности. Использование основных языков логического программирования и средств математической логики.
статья, добавлен 26.09.2017Основы нечеткой логики. Аппарат теории нечетких множеств. Методы построения функций принадлежности нечетких множеств. Операции над нечеткими множествами. Наглядное представление операций над нечеткими множествами. Нечеткая и лингвистическая переменные.
реферат, добавлен 19.06.2010Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Использование симулятора для облегчения изучения алгебры логики. Основной базис построения вычислительных устройств и систем. Создание логических схем в виртуальной среде. Разработка приложения на языке Kotlin для обучения студентов программированию.
статья, добавлен 11.12.2024Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018- 44. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.
статья, добавлен 21.12.2019- 46. Разработка устройства для экспертной диагностики систем на основе нечеткой логики нейронных сетей
Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.
статья, добавлен 15.05.2017 Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Выяснение сути арифметических и логических компьютерных операций, роли логики в вычислительной технике и информатике. Компьютерная модель и алгоритм решения задачи с помощью MS Excel на примере расчета дохода туристической фирмы от реализации путевок.
реферат, добавлен 17.01.2014Использование компьютеров для создания баз знаний, их применение в различных областях науки и техники. Развитие нейрокибернетики как науки, применение методов математической логики для разработки аппаратно-программных средств искусственного интеллекта.
реферат, добавлен 25.01.2013Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.
контрольная работа, добавлен 27.06.2015