Применение алгебры высказываний в информатике
Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
Подобные документы
История систем компьютерной алгебры. Общие сведения по языкам программирования Maple и Mathematica. Базовые механизмы типирования объектов в среде обоих пакетов. Организация обработки особых и ошибочных ситуаций. Программное обеспечение пользователя.
книга, добавлен 24.12.2013- 102. Электронные таблицы
Понятие табличного процессора, его сущность и особенности, назначение и основные функции. Общая характеристика и отличительные черты электронных таблиц Supercalc, их разновидности и возможности, объекты. Порядок макропрограммирования и его применение.
реферат, добавлен 09.02.2009 Краткий экскурс в историю систем компьютерной алгебры. Общие сведения по встроенному языку программирования пакета Mathematica. Организация механизмов процедур и функций. Обработка особых и ошибочных ситуаций в среде. Дополнительные средства работы.
книга, добавлен 24.12.2013Система MathCAD как одна из самых мощных и эффективных систем математического направления. Функциональный набор программного обеспечения. Вид меню и панели инструментов для задания матриц. Анализ механизма определения функций и построения графиков.
курсовая работа, добавлен 15.02.2014Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Бинарные разносхемные операции реляционной алгебры. Использование выражений в списке выбора. Выполнение команд модификации данных. Примеры использования методов оптимизации запросов. Алгоритм перераспределения данных индексного блока СУБД "Oracle".
методичка, добавлен 21.05.2014Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018- 108. Использование компьютерной алгебры для оптимизации количества приборов в системах сведения баланса
Разработка алгоритма расчета и размещения минимального количества измерителей, обеспечивающий определение расхода для всех материальных потоков. Создание эвристического алгоритма расположения дополнительных приборов, повышающих надежность измерений.
статья, добавлен 21.06.2018 Основные определения и характеристики реляционных баз данных. Классификация операций над отношениями между таблицами. Создание таблиц в режиме конструктора. Описание основных таблиц и форм для работы с базой данных "Формирование плана выпуска изделий".
контрольная работа, добавлен 25.07.2013Теоретическая основа реляционной модели данных. Кортеж, соответствующий данной схеме отношения. Эквиваленты, использующиеся в теории реляционных БД. Языки манипулирования данными. Традиционные и специальные операции. Алгебраическая версия запроса.
презентация, добавлен 29.09.2013Анализ особенностей действующих в Украине методик сбора и обработки требований к разрабатываемым информационным системам. Разработка обобщенного математического описания метамодели требований к информационной системе, представленного в виде алгебры.
статья, добавлен 19.06.2018Технологии качественного исследования сложных, нелинейных явлений. Нечеткие процедуры и асимптотика. Структурный асимптотический анализ и построение субоптимальных управлений. Применение нечеткой логики в сочетании с асимптотическими методами решения.
статья, добавлен 16.01.2018Анализ трудностей синтеза систем управления, функционирующих в условиях неопределенности. Применение аппарата нечёткой логики, который позволяет решить задачу адаптации системы управления самонаводящихся зенитных управляемых ракет к изменяющимся условиям.
статья, добавлен 27.02.2019Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
контрольная работа, добавлен 11.10.2013Логика высказываний, имеющая дело с истинностью и ложностью простых утверждений. Множества и операции над ними. Нечеткие множества и лингвистические переменные. Нечеткий логический вывод. Общие свойства графов. Стратегии поиска в пространстве состояний.
курс лекций, добавлен 20.05.2012Исследование структуры компьютера и принципов его функционирования. Понятие арифметико-логического устройства, его свойства и назначение. Анализ арифметических и логических операций в ЭВМ. Разработка программы реализации арифметического выражения.
контрольная работа, добавлен 07.04.2015Особенности применения программы MathCAD для получения численного решения математических задач. Оснащение систем компьютерной алгебры специальным процессором для выполнения аналитических вычислений. Введение в систему символических вычислений MathCAD.
статья, добавлен 24.02.2019- 118. Представление базовых сущностей парадигмы предельных обобщений с помощью алгебропредикатных структур
Разработка метода формального представления базовых сущностей парадигмы предельных обобщений: тестов, орграфов и системопаттернов. Правила пересчета между доменами разного уровня общности, с использованием математического аппарата алгебры предикатов.
автореферат, добавлен 30.01.2016 Теория алгоритмов как теоретический фундамент вычислительных наук. Понятие алгоритма, его свойства и особенности изучения. Тесная связь информатики и математики. Основная идея математической логики (метаматематики) - формализация знаний и рассуждений.
курсовая работа, добавлен 29.12.2011- 120. Использование системы наглядной компьютерной алгебры для анализа свойств математических объектов
Использование решетчатых моделей систем для анализа свойств математических объектов. Разработка программного комплекса, позволяющего проводить анализ свойств объектов: разбиений натуральных чисел, упорядоченных алфавитов и последовательностей Фибоначчи.
статья, добавлен 28.01.2020 Использование информационных технологий в сфере образования. Творческая активность старшеклассников на основе применения ИКТ. Использование ресурса "Единая коллекция ЦОР" при изучении темы "Функция". Цифровые образовательные ресурсы при изучении алгебры.
дипломная работа, добавлен 22.11.2015Исследование восприятия программных продуктов Matlab, Mathcad, Mathematica, Microsoft Excel и Wolfram Alpha студентами первого курса магистратуры инженерного направления подготовки, обучаемых в больших потоках, особенности их использования на планшете.
статья, добавлен 16.09.2020Описание реляционной модели данных. Использование null-значений вместо неизвестных данных. Парадоксальные следствия применения трехзначной логики. Уникальные атрибуты, используемые для идентификации кортежей. Операции, нарушающие ссылочную целостность.
учебное пособие, добавлен 16.03.2015Высказывания, устанавливающие отношения между двумя ресурсами в сети. Разработка новых типов высказываний и связей. Основные языки Семантической Сети. Система классов и свойств языка описания RDF словарей. Реификация или материализация утверждений.
лекция, добавлен 19.10.2013Исследование вопроса вычисления степени истинности нечетких значений лингвистических переменных при оценке рисков в вычислительных системах. Описание формализованного языка представления баз знаний для анализа рисков в сложной вычислительной системе.
статья, добавлен 23.02.2016