Применение алгебры высказываний в информатике
Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
Подобные документы
Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
реферат, добавлен 26.08.2010Классификация системы управления базами данных. Анализ компиляции операторов языка, под некоторой управляемой программой. Особенность надежности хранения информации во внешней памяти. Характеристика теоретико-множественных операций реляционной алгебры.
лекция, добавлен 18.09.2016Общие сведения о пакетах, помогающих решать задачи линейной алгебры. Характеристика пакета Linalg, его главные функции и принципы применения. Аналитическая геометрия на плоскости, построение графиков функций. Порядок решения систем линейных уравнений.
курсовая работа, добавлен 28.01.2014Описание отношений, доменов, ограничений целостности, представлений данных. Инструкции, имена Structured Query Language, типы данных. Реализация операций реляционной алгебры в языке структурированных запросов. Булевы величины, неструктурированные байты.
презентация, добавлен 21.02.2016Вычисления множество значений функции на интервале ранжирования. Построение графика функции в декартовых координатах. Иллюстрация траектории движения тела. Система линейных алгебраических уравнений в матричной форме. Решение уравнений методом Крамера.
курсовая работа, добавлен 26.05.2015Характеристика системы управления базами данных. Особенность исследования архитектуры "клиент-сервер". Основные свойства реляционных отношений. Изучение концепций, которые могут нарушить ссылочную целостность. Анализ главных операций логической алгебры.
реферат, добавлен 15.12.2015Характеристика этапов жизненного цикла базы данных. Анализ первичного документа. Описание концептуального проектирования, спецификации и нормализации. Разработка базы данных в MS ACCESS. Составление запросов с использованием теории реляционной алгебры.
курсовая работа, добавлен 13.06.2016Понятие Derive a Mathematical Assistant как одного из классов малых компьютерных математических систем. Характеристика ядра программы, его функции. Основные возможности данной системы. Построение графика в полярной и декартовой системах координат.
презентация, добавлен 19.11.2013Определение собственных значений матрицы с помощью характеристического уравнения, функция identity. Определение вектора, элементами которого являются собственные значения матрицы с помощью функций Mathcad. Приведение заданной матрицы к диагональному виду.
практическая работа, добавлен 23.02.2013Этапы системного анализа, их основные цели, задачи. Замкнутость реляционной алгебры и операция переименования. Особенности ее теоретико-множественных операций. Основные режимы, в которых происходит деятельность системы: развитие и функционирование.
контрольная работа, добавлен 05.07.2014Общие принципы работы программы электронных таблиц Excel. Характеристика и сущность основных возможностей и функций Excel: финансы, дата и время, логические, математические, текстовые, проверка свойств и значений, мастер диаграмм. Работа с базой данных.
реферат, добавлен 03.10.2011Представление информации. Количество информации и единицы ее измерения. Системы счисления и перевод чисел из одной системы счисления в другую. Двоичная арифметика. Основные понятия и операции формальной логики. Основные логические элементы компьютера.
методичка, добавлен 12.07.2010Применение авиационных способов обработки посевов, сельскохозяйственных и лесных угодий в системе агропромышленного комплекса. Разработка модели локального метеорологического состояния с применением реляционной алгебры при обработке информации баз данных.
статья, добавлен 22.06.2018Создание одномерных, двухмерных и многомерных числовых массивов, операции с матрицами в системе MATLAB. Обозначения для операций с массивами и их отличия. Создание векторов и матриц, функции линейной алгебры и операции создания квадратных матриц.
реферат, добавлен 31.05.2010Разработка систем компьютерной алгебры с использованием информационных технологий. Исследование возможности применения символьного математического пакета Mathematica для решения дифференциальных уравнений в частных производных, анализ его эффективности.
реферат, добавлен 05.10.2013Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017Реляционная модель базы данных, осуществляющая их хранение. Понятие ссылочной целостности и принципы нормализации данных, средства их проектирования. Языки манипулирования данными, позволяющие реализовать все операции реляционной алгебры и их сочетания.
курсовая работа, добавлен 11.07.2012Исследование оборудования, используемого для обогрева промышленных помещений. Рассмотрение этапов компьютерного моделирования. Применение компьютерной алгебры Mathcad. Разработка модели системы охлаждения красочного аппарата, оценка результатов.
курсовая работа, добавлен 30.05.2017Сущность объектно-ориентированного программирования, его основные термины, положения и наследование. Инкапсуляция данных. Полиморфизм, виртуальные функции. Классы функций Matrix и Vector на языке С++ для решения простейших задач линейной алгебры.
курсовая работа, добавлен 09.11.2010Кодирование дискретного сигнала. Особенности перевода чисел из одной системы счисления в другую. Правила преобразования правильных дробей. Анализ проведения операций по выполнению простейших арифметических действий. Сложение по модулю в информатике.
реферат, добавлен 19.09.2013Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017Изучение нечетких систем искусственного интеллекта, основанных на использовании математического аппарата нечеткой логики. Понятие границы между множествами значений переменных с различным смысловым понятием. Анализ сущности лингвистической переменной.
лекция, добавлен 21.10.2013Использование компьютеров для создания баз знаний, их применение в различных областях науки и техники. Развитие нейрокибернетики как науки, применение методов математической логики для разработки аппаратно-программных средств искусственного интеллекта.
реферат, добавлен 25.01.2013Общие сведения об электронных учебниках, классификация средств для их создания, алгоритмические языки. Разработка проекта по созданию электронного учебника по дискретной математике. Разбор основных положений алгебры множеств и теории булевых функций.
дипломная работа, добавлен 05.10.2013Построение дерева принятия решений: создание модели, по которой можно классифицировать случаи. Алгоритм построения бинарного дерева решений: дихотомической классификационной модели. Применение матричной алгебры для решения задач экономического содержания.
статья, добавлен 22.03.2019