Алгебра логики

Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.

Подобные документы

  • Изучение характеристики реляционной модели данных. Рассмотрение таблиц (отношений) в качестве алгебраических операндов. Особенности теоретико-множественных операций реляционной алгебры. Порядок создания онлайнового каталога замкнутой базы данных.

    реферат, добавлен 30.11.2016

  • Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.

    контрольная работа, добавлен 16.02.2015

  • Понятие конструкторской семантики и принципы семантического моделирования изделия. Принцип языкового ядра и его профессиональных расширений. Сравнительный анализ методов смыслоотождествления в информатике и проектировании. Аксиомы объемности конструкции.

    автореферат, добавлен 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

  • Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.

    статья, добавлен 28.02.2016

  • Разработка и анализ преимуществ применения алгебры кортежей для интеллектуального анализа данных методами неоднородных семантических сетей. Обоснование возможности ускорения процедуры логического вывода за счет учета внутренней структуры отношений.

    статья, добавлен 19.01.2018

  • Создание работающего консольного приложения со средой C++ Builder, рассмотрение типов данных языка и операторов ввода-вывода. Ознакомление с операторами языка, использование операторов выбора и цикла. Описание работы с функциями и одномерными массивами.

    методичка, добавлен 26.02.2014

  • Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.

    курсовая работа, добавлен 20.12.2021

  • Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.

    статья, добавлен 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.