Основы математической логики
Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
Подобные документы
Характеристика особенностей prolog, которая является языком, основанным на программировании логики. Ознакомление с интерфейсом Visual Prolog. Рассмотрение рабочего окна редактора. Исследование процесса разработки графического интерфейса пользователя.
методичка, добавлен 11.12.2015- 77. Алгебра логики
Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.
реферат, добавлен 24.12.2013 Алгоритм умножения с ускорением. Разработка содержательной граф-схемы. Построение графов автоматов Мили и Мура. Получение логических выражений для функций возбуждения счетчика. Построение функциональной схемы управляющего микропрограммного автомата.
курсовая работа, добавлен 27.08.2012Механизмы использования математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ. Принципы алгоритмизации, программирования и решения задач в информатике. Описание прикладного программного обеспечения электронных вычислительных машин.
курсовая работа, добавлен 22.11.2012Порядок разработки программы, которая получает на входе набор идентификаторов, организует таблицы идентификаторов. Принципы многократного поиска произвольного идентификатора в таблицах и сравнение эффективности используемых методов организации таблиц.
лабораторная работа, добавлен 30.04.2024Понятие и основные элементы электронной таблицы, типы используемых данных и функций. Области применения табличных процессоров, а также общая характеристика наиболее распространенных из них, преимущества и недостатки: Microsoft Excel, OpenOffice Calc.
курсовая работа, добавлен 20.02.2019Разработка базы данных книжного издательства с использованием Microsoft Access. Создание таблиц в режиме "Конструктор", установка связей. Создание форм для ввода данных, построение запросов. Построение отчетов, подсчет общего количества записей.
контрольная работа, добавлен 02.12.2015Законодательные основы компьютерной безопасности. Создание, использование и распространение вредоносных программ для ЭВМ. Защита данных в сетях и системах сотовой связи. Основные понятия формальной логики. Сущность логических выражений и операций.
контрольная работа, добавлен 23.11.2010Изучение основных видов функций принадлежности нечетких множеств. Способы построения и коррекции функций принадлежности в пакете программ MatLab. Состав и возможности инструментария нечеткой логики Fuzzy Logic Toolbox, входящего в пакет программ MatLab.
лабораторная работа, добавлен 25.08.2011Технологии качественного исследования сложных, нелинейных явлений. Нечеткие процедуры и асимптотика. Структурный асимптотический анализ и построение субоптимальных управлений. Применение нечеткой логики в сочетании с асимптотическими методами решения.
статья, добавлен 16.01.2018Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Построение математической модели согласно варианту. Решение задачи графическим, алгебраическим и методом симплекс-таблицы. Определение допустимого решения методом введения искусственного базиса. Анализ взаимосвязи между решениями взаимодвойственных задач.
курсовая работа, добавлен 24.12.2014Создание математической модели движения шарика, брошенного вверх, подготовка компьютерной реализации математической модели в среде электронных таблиц. Расчет влияния сопротивления тока в цепи. Получение уравнения аппроксимации с помощью линии тренда.
контрольная работа, добавлен 20.02.2016- 89. Интелектуальная мультиагентная система сбора и анализа данных для моделей знаний предметных областей
Методы построения мультиагентной системы посредством логической оценки получаемых данных. Построение нейронной сети с нейронами, обладающими памятью и интегральной логикой. Реализация логики на основе генетического алгоритма совершенствования "генов".
статья, добавлен 13.01.2017 Использование математического аппарата нечеткой логики в системах искусственного интеллекта для управления объектами в условиях неточности. Лингвистическая форма представления управляющих команд ограниченного потока слов и предложений словесного языка.
лекция, добавлен 28.08.2013Создание, форматирование электронной таблицы, выполнение вычислений в электронной таблице. Вставка функции в математической нотации как объект MS Equation. Создание столбца номеров точек. Построение быстрых, качественных графиков в программе Excel.
лабораторная работа, добавлен 23.01.2015Краткий обзор логических моделей баз данных. Суть и назначение реляционной базы данных, ее преимущества и недостатки от других БД. Организация индексирования таблиц. Преимущество хранения хеш-кода. Теоретические языки запросов. Основные виды связи таблиц.
курсовая работа, добавлен 10.03.2011Использование математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ при алгоритмизации решения задач. Характеристика пакетов прикладных программ. Основные тенденции в области развития проблемно-ориентированных программных средств.
контрольная работа, добавлен 21.10.2009Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015Создание структуры таблиц и связей. Общая характеристика СУБД Microsoft Office Access. Создание простых форм и заполнение таблиц. Создание запросов на выборку. Запрос на создание таблицы из двух таблиц. Создание отчета с использованием мастера отчетов.
методичка, добавлен 08.05.2012Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017Шифрование данных аппаратно-программным способом. Подробное описание математической модели криптографического преобразователя с использованием современного метода "карт Карно". Алгоритм разработки и минимизаций логических функций шифрования и дешифрации.
статья, добавлен 05.08.2020Применение Microsoft Access для создания быстрых, эффективных баз данных, используемых в быту и бизнесе. Построение информационной системы для менеджеров. Компоненты типичной статической экспертной системы, ее преимущества перед человеком-экспертом.
контрольная работа, добавлен 21.12.2010Анализ категории программного обеспечения, предназначенного для работы с электронными таблицами. Обработка двухмерных таблиц с числовыми данными. Создание и редактирование электронных таблиц и документов. Построение диаграмм и их модификация в задачах.
курсовая работа, добавлен 07.06.2014Анализ средств и систем защиты информации. Характеристика способов представления булевых функций, приведение критериев эффективности и пути повышения производительности средств и систем защиты информации. Описание форм представления логических функций.
статья, добавлен 29.04.2017