Основные законы алгебры логики
Основные понятия математической логики. Примеры логических выражений. Использование дизъюнкции в логическом выражении. Повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Обозначения истины или лжи.
Подобные документы
Анализ трудностей синтеза систем управления, функционирующих в условиях неопределенности. Применение аппарата нечёткой логики, который позволяет решить задачу адаптации системы управления самонаводящихся зенитных управляемых ракет к изменяющимся условиям.
статья, добавлен 27.02.2019Основные синтаксические правила записи программ на языке Object Pascal. Использование блоков при определении области видимости константы, переменной или функции. Примеры константных выражений и инициализации переменных. Классификация типов данных.
контрольная работа, добавлен 06.11.2011Разработка Microsoft нового языка С#. Общее описание языка С#, сравнение с другими языками программирования, использование и примеры программы. Возможность конструирования различных компонентов - от высокоуровневой бизнес логики до системных приложений.
реферат, добавлен 22.11.2009Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Поиск простых и верных решений логических задач для обеспечения информационной поддержки учителей школ. Особенности метода решения логических уравнений, синтеза логических выражений с помощью встроенных стандартных функций математического пакета Mathcad.
статья, добавлен 18.07.2018Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Анализ технических характеристик двух аналогичных графических акселераторов фирм AMD и nVidia: AMD Radeon R9 Fury X и NVIDIA GeForce GTX 980 Ti. Нельзя однозначно сказать, какой модуль будет лучше, так как нужно разграничивать приоритеты пользователя.
статья, добавлен 26.04.2019Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Изучение характеристики реляционной модели данных. Рассмотрение таблиц (отношений) в качестве алгебраических операндов. Особенности теоретико-множественных операций реляционной алгебры. Порядок создания онлайнового каталога замкнутой базы данных.
реферат, добавлен 30.11.2016Основные понятия и принципы нечеткого моделирования. Постановка задачи классификации на основе нечеткого логического вывода. Алгоритм ее решения. Формирование базы правил для классификатора. Использование генетических алгоритмов для ее оптимизации.
курсовая работа, добавлен 10.04.2014Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Преимущества применения нейронных сетей для распознавания объектов. Разработка алгоритма обработки образа с помощью нечеткой логики в системе технического зрения. Бинаризация и кодирование изображения при его преобразовании из цветного в оттенки серого.
курсовая работа, добавлен 29.03.2021Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018- 65. ПЛМ Altera
Определение понятия и описание программируемых логических интегральных схем и программируемых логических матриц. История их появления, развития, а также основные производители современных вычислительных систем на основе ПЛИС и комплектующих к ним.
реферат, добавлен 01.03.2014 История развития и области применения искусственного интеллекта. Основные направления в моделировании ИИ. Эволюция систем управления производством. Тест Тьюринга и интуитивный подход. Искусственный интеллект в индустрии. Применение символьной логики.
реферат, добавлен 16.03.2011Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Выяснение сути арифметических и логических компьютерных операций, роли логики в вычислительной технике и информатике. Компьютерная модель и алгоритм решения задачи с помощью MS Excel на примере расчета дохода туристической фирмы от реализации путевок.
реферат, добавлен 17.01.2014Потребность в автоматизации обработки данных и вычислений. Механические счетные приспособления. Появление первого вычислительного устройства. История возникновения программирования. Развитие электроники, автоматики, математической логики в 30-40 гг. XX в.
реферат, добавлен 20.08.2013Научный подход к описанию структурной связи информационных систем и искусственного интеллекта. Эвристическое программирование в экспертных системах. Формальное представление системы программирования Prolog, как языка предикатов математической логики.
курсовая работа, добавлен 15.05.2014Основные направления использования Интернета для пользователя. Информационно-библиографическая деятельность библиотек. Индексы поисковой системы. Основные виды поиска. Обзор поисковых серверов. Примеры логических операторов при поиске информации.
реферат, добавлен 04.06.2013История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012Описание логики работы разрабатываемого устройства на основе программируемых логических интегральных схем. Описание функционирования арифметико-логического устройства с помощью языка VerilogHDL. Анализ структуры программы, ее тела и принципа работы.
курсовая работа, добавлен 09.06.2014Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018