Применение алгебры высказываний в информатике
Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
Подобные документы
Построение дерева принятия решений: создание модели, по которой можно классифицировать случаи. Алгоритм построения бинарного дерева решений: дихотомической классификационной модели. Применение матричной алгебры для решения задач экономического содержания.
статья, добавлен 22.03.2019Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.
статья, добавлен 21.12.2019Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Основные проблемы понимания текста в обработке естественных языков. Онтологии как основа создания семантической сети. Характеристика главных типов связей в онтологии. Анализ описания онтологических отношений средствами алгебры конечных предикатов.
контрольная работа, добавлен 23.12.2018Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Порядок создания таблиц базы данных и процесс ввода данных в них. Характеристика основных разновидностей. Сущность однотабличных форм, их необходимость применения. Классификация форм для загрузки двух таблиц. Понятие запросов и правила создания отчетов.
учебное пособие, добавлен 21.05.2013Использование системы компьютерной алгебры в научных, инженерных, математических и компьютерных областях. Математика как современная система программирования на базе одного из самых мощных проблемно-ориентированных языков функционального программирования.
статья, добавлен 22.03.2019Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Создание утверждений на языке реляционной алгебры и соответствующих им выражений на языке SQL, их встраивание в систему IP-телефонии Asterisk. Сравнение методов интегрирования. Способы решения системы линейных уравнений. Энтропия и метод Монте-карло.
контрольная работа, добавлен 28.01.2016MATLAB как пакет прикладных программ для решения задач технических вычислений и одноимённый язык программирования, используемый в этом пакете. Типовые задачи алгебры и анализа. Стандартные функции вещественного аргумента. Функции комплексных переменных.
методичка, добавлен 30.06.2016Состав директив. Операции присваивания значения и вычисления. Использование шаблонов и функций. Решение систем линейных алгебраических уравнений. Задачи линейной алгебры. Вычисление определителя матрицы n×n. Методы математического анализа.
реферат, добавлен 06.01.2014Назначение и компоненты системы баз данных. Связи и язык моделирования. Иерархические и сетевые структуры БД. Замкнутость реляционной алгебры и операция переименования. Нормальная форма Бойса-Кодда. Структуры внешней памяти. Методы организации индексов.
курс лекций, добавлен 15.06.2018Конструкции алгоритмического языка высокого уровня. Описание методов решения и использования приемов решения средствами табличного процессора. Использование табличных функций пакета MS Excel для матричной алгебры. Матричный способ решения задач.
курсовая работа, добавлен 07.01.2017Основные понятия линейной алгебры и выпуклого анализа, применяемые в теории математического программирования. Математические основы решения задачи линейного программирования графическим способом. Симплекс метод, Геометрический метод. Транспортная задача.
курсовая работа, добавлен 12.12.2016Описание игры в крестики-нолики. Пример игровой ситуации на игровом поле. Алгоритм расчета очередного хода компьютерного соперника. Модель игры на основе бyлевой алгебры. Схема контроллера цифрового устройства игры в крестики-нолики с компьютером.
курсовая работа, добавлен 29.06.2011Обеспечение взаимодействия между процессами без возникновения тупиковых ситуаций как одна из важнейших задач мультимедийных систем. Классификация метафор, которые применяются в различных пакетах прикладных программ для разработки подобных систем.
статья, добавлен 22.08.2020Вопрос вычисления степени истинности нечетких значений лингвистических переменных при оценке рисков в вычислительных системах. Выведение ортогонального семантического пространства для вычислений степеней истинности составных частей системы оценки рисков.
презентация, добавлен 23.02.2016Структура программной системы, обеспечивающей компьютерную поддержку проведения олимпиад по информатике в режиме онлайн. Описание пользовательского интерфейса системы и особенности реализованных в ней методов тестирования результатов решения задач.
статья, добавлен 27.05.2018Разработка способа автоматической классификации электронных документов, основанного на анализе метаданных документа при помощи алгебры конечных предикатов. Классификация текста на естественном языке. Условия использования режима обучения системой.
статья, добавлен 13.05.2017Изучение решения задач идентификации с использованием выражений алгебры событий и недетерминированных автоматов. Методика проектирования параллельных алгоритмов. Выбор модели программной и аппаратной реализации вычислений элементарных задач анализа.
учебное пособие, добавлен 13.01.2014Проектирование и реализация системы для просмотра имеющихся билетов и их бронирования через Internet. Создание таблиц, хранимых процедур, реализующих функции бизнес-логики и триггера на удаление записей из таблицы в базе данных. Описание структуры БД.
курсовая работа, добавлен 11.12.2013