Алгебра логики
Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.
Подобные документы
Изучение характеристики реляционной модели данных. Рассмотрение таблиц (отношений) в качестве алгебраических операндов. Особенности теоретико-множественных операций реляционной алгебры. Порядок создания онлайнового каталога замкнутой базы данных.
реферат, добавлен 30.11.2016Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.
контрольная работа, добавлен 16.02.2015- 53. Моделирование конструкторской семантики в интеллектуальных системах автоматизации проектирования
Понятие конструкторской семантики и принципы семантического моделирования изделия. Принцип языкового ядра и его профессиональных расширений. Сравнительный анализ методов смыслоотождествления в информатике и проектировании. Аксиомы объемности конструкции.
автореферат, добавлен 15.02.2018 Этапы системного анализа, их основные цели, задачи. Замкнутость реляционной алгебры и операция переименования. Особенности ее теоретико-множественных операций. Основные режимы, в которых происходит деятельность системы: развитие и функционирование.
контрольная работа, добавлен 05.07.2014Методика оптимизации запросов к базе данных информационной системы учета автотранспорта средствами реляционной алгебры. Формулировка запроса с учетом возможности реляционной аналитики и его оптимизации к реляционной БД. Определение реквизитов клиентов.
статья, добавлен 26.04.2017Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017Топология – это физическая конфигурация сети в совокупности с ее логическими характеристиками. Стандартный термин, который используется при описании основной компоновки сети. Маршруты передачи сигналов между узлами. Передача данных всем компьютерам.
контрольная работа, добавлен 16.12.2015История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Обзор систем компьютерной алгебры: Maple, Mathematica, Mathcad, Matlab, Derive, их сравнительная характеристика, функции и назначение. Возможности пакета MATLAB - высокопроизводительного языка для технических расчетов. Принципы реализации класса Polynom.
реферат, добавлен 05.10.2013Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018- 61. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Разработка и анализ преимуществ применения алгебры кортежей для интеллектуального анализа данных методами неоднородных семантических сетей. Обоснование возможности ускорения процедуры логического вывода за счет учета внутренней структуры отношений.
статья, добавлен 19.01.2018Создание работающего консольного приложения со средой C++ Builder, рассмотрение типов данных языка и операторов ввода-вывода. Ознакомление с операторами языка, использование операторов выбора и цикла. Описание работы с функциями и одномерными массивами.
методичка, добавлен 26.02.2014Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021- 65. Разработка устройства для экспертной диагностики систем на основе нечеткой логики нейронных сетей
Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.
статья, добавлен 15.05.2017 Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Изучение основных свойств и назначения накопителей информации в персональных компьютерах. Анализ особенностей электронных, магнитных, оптических, ленточных и перфорационных устройств. Характеристики и принципы работы носителей и накопителей информации.
реферат, добавлен 04.04.2017Создание утверждений на языке реляционной алгебры и соответствующих им выражений на языке SQL, их встраивание в систему IP-телефонии Asterisk. Сравнение методов интегрирования. Способы решения системы линейных уравнений. Энтропия и метод Монте-карло.
контрольная работа, добавлен 28.01.2016Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Признаки повреждения таблицы разделов Partition Table. Порядок восстановления исходного состояния жесткого диска с основным разделом FAT32 MS-DOS, расширенным разделом MS-DOS и двумя логическими дисками в расширенном разделе при помощи Norton Utilities.
реферат, добавлен 11.04.2011Правила преобразования сигнала логическими схемами. Разработка мобильного игрового приложения "Logic". Описание спецификации программы и алгоритма ее реализации. Тестирование приложения. Создание дизайна приложения, прописывание кодов для кнопок.
статья, добавлен 28.02.2019Заголовочные модули, написанные на языке Object Pascal, обеспечивающие простое подключение функций и процедур Fortran-библиотек численного решения задач линейной алгебры. Появление скрытых, трудно обнаруживаемых алгоритмических ошибок в среде Delphi.
статья, добавлен 06.03.2019Анализ трудностей синтеза систем управления, функционирующих в условиях неопределенности. Применение аппарата нечёткой логики, который позволяет решить задачу адаптации системы управления самонаводящихся зенитных управляемых ракет к изменяющимся условиям.
статья, добавлен 27.02.2019Общая характеристика программируемой логики. Изучение особенностей языка описания цифровых устройств VHDL. Разработка методики деятельности ПЛИС в системе автоматизированного проектирования Active-HDL. Обзор и принципы работы основных редакторов.
дипломная работа, добавлен 14.03.2015Освоение методов анализа трудоемкости вычислительных алгоритмов. Оценка сложности алгоритма в битах, байтах, количестве символов определенного языка. Количество вычислительной работы, требуемой для его реализации. Операции, выполняемые при одном прогоне.
лабораторная работа, добавлен 28.10.2015