Математическая логика
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
Подобные документы
Выбор инструментальных средств разработки автоматизированных систем на основе модели нечеткой логики для вычисления результирующей функции по заданным критериям. Анализ создания информационной системы на объектно-ориентированном языке программирования.
статья, добавлен 22.05.2017Методы решения систем линейных уравнений. Разработка классов функций Matrix и Vector для решения простейших задач линейной алгебры, написание алгоритмов на языке Borland C++ для данных классов и ошибки, которые могут возникнуть при их использовании.
курсовая работа, добавлен 25.09.2014Общие сведения об электронных учебниках, классификация средств для их создания, алгоритмические языки. Разработка проекта по созданию электронного учебника по дискретной математике. Разбор основных положений алгебры множеств и теории булевых функций.
дипломная работа, добавлен 05.10.2013Заголовочные модули, написанные на языке Object Pascal, обеспечивающие простое подключение функций и процедур Fortran-библиотек численного решения задач линейной алгебры. Появление скрытых, трудно обнаруживаемых алгоритмических ошибок в среде Delphi.
статья, добавлен 06.03.2019Характеристика программируемого логического контроллера Siemens S7-1500. Использование его в системах автоматизации. Основные способы подключения модулей. Применение программного обеспечения TIA Portal. Предназначение языка релейной (лестничной) логики.
курсовая работа, добавлен 17.02.2019Задачи Data Mining: описательные и предсказательные, классификации и регрессии, поиска ассоциативных правил, кластеризации. Практическое применение Data Mining. Особенности нечеткой логики, виды физической неопределенности. Процесс обнаружения знаний.
презентация, добавлен 27.04.2023Создание одномерных, двухмерных и многомерных числовых массивов, операции с матрицами в системе MATLAB. Обозначения для операций с массивами и их отличия. Создание векторов и матриц, функции линейной алгебры и операции создания квадратных матриц.
реферат, добавлен 31.05.2010Технологии качественного исследования сложных, нелинейных явлений. Нечеткие процедуры и асимптотика. Структурный асимптотический анализ и построение субоптимальных управлений. Применение нечеткой логики в сочетании с асимптотическими методами решения.
статья, добавлен 16.01.2018Моделирование степени доступа пользователя к решению задач на компьютерной системе в зависимости от ее диагностического состояния c использованием нечеткой логики. Главная особенность уменьшения времени восстановления системы после возможного отказа.
статья, добавлен 19.06.2018Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Общая характеристика и описание понятий предметной области. Автоматизация бизнес-процессов клиники. Обеспечение оперативного поиска информации уже при обращении к ее услугам. Разработка программного обеспечения и бизнес-логики для информационной системы.
курсовая работа, добавлен 06.06.2023Разбор логики и ее воспроизведение в программе. Консольная программа, являющаяся аналогией игры "Ним". Основные средства программирования на языке C. Вывод меню игры. Выбор первого хода для игроков. Основные заголовочные файлы, используемые в игре.
курсовая работа, добавлен 18.02.2019Законодательные основы компьютерной безопасности. Создание, использование и распространение вредоносных программ для ЭВМ. Защита данных в сетях и системах сотовой связи. Основные понятия формальной логики. Сущность логических выражений и операций.
контрольная работа, добавлен 23.11.2010Анализ логики времени в пространстве в естественном языке Методики описания пространственно-временных отношений. Расширение объектно-атрибутной грамматики для работы с пространственными отношениями. Разработка программного модуля анализа отношений.
дипломная работа, добавлен 01.07.2017- 115. Разработка системы автоматического управления беспилотным летательным аппаратом мультироторного типа
Основные компоненты комплекса беспилотного летательного аппарата мультироторного типа на примере квадрокоптера. Схема компонентов автоматической системы управления. Основные принципы обработки информации датчиков. Алгоритмы логики управления полетом.
статья, добавлен 30.03.2015 Логика - наука о формах и способах рассуждений. Основные формы мышления: понятие, суждение (высказывание), умозаключение, доказательство. Логические функции, связки и выражения: конъюнкция, дизъюнкция, инверсия, импликация (следование), эквиваленция.
реферат, добавлен 20.12.2011Диаграмма намагниченности ферритов, основные преимущества полупроводниковой оперативной памяти перед ее заменителями. Элементная база логики и динамическое оперативное запоминающее устройство. Минимальный цикл обращения микропроцессора к памяти.
курсовая работа, добавлен 12.11.2017Описание и структура туристической фирмы. Разработка бизнес-логики программы, выбор и обоснование средств. Основные требования к функциональным характеристикам, надежности, составу и параметрам технических средств разработки, условия ее эксплуатации.
курсовая работа, добавлен 24.03.2013Понятие искусственного интеллекта. Гранулирование информации и его роли в рассуждениях. Сжатие данных с помощью слов. Выражение данных в виде предложений естественного языка. Правила вывода в нечеткой логике. Использование лингвистической аппроксимации.
реферат, добавлен 10.03.2013Изучение характеристики реляционной модели данных. Рассмотрение таблиц (отношений) в качестве алгебраических операндов. Особенности теоретико-множественных операций реляционной алгебры. Порядок создания онлайнового каталога замкнутой базы данных.
реферат, добавлен 30.11.2016- 121. Язык AHDL
Операторы и элементы языка аппаратуры фирмы Altera AHDL. Зарезервированные идентификаторы: шины, символы, строковые и символьные имена. Структура описания проекта на языке AHDL. Создание текстового выходного файла. Использование логики и констант.
книга, добавлен 23.04.2015 Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.
контрольная работа, добавлен 16.02.2015Автоматизированная система, осуществляющая сбор, обработку, хранение информации о достопримечательностях и обеспечивающая доступ к ним. Применение генетического алгоритма для решения проблемы поиска лучшего маршрута. Разработка интерфейса, бизнес–логики.
дипломная работа, добавлен 14.12.2019- 124. Логические элементы
Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013 История появления первого микропроцессора корпорации Intel. Темпы развития микропроцессорной техники. Программируемые логические контролеры и их функции для выполнения операции переключения в промышленных условиях. Требования к PLC и их составные части.
лекция, добавлен 28.12.2013