Основы математической логики
Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
Подобные документы
- 101. Автоматизированная система оптимизации оптово-розничных продаж мебели на основе нечеткой логики
Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011 Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.
курсовая работа, добавлен 04.05.2014Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.
контрольная работа, добавлен 27.06.2015- 104. Основы информатики
Перевод из произвольной системы счисления в десятичную. Перевод значений из бит в Кбайт. История развития ЭВМ. Составление таблицы истинности логического выражения. Построение логической схемы функции F(A,B).Работа с таблицами и графиками в Excel.
контрольная работа, добавлен 17.01.2019 Сущность MS Excel, его основные задачи и возможности. Понятие функций как заранее определенной формулы. Порядок их классификации на 11 категорий. Характеристика математических, логических, текстовых функций. Процесс определения себестоимости продукции.
контрольная работа, добавлен 25.04.2013Обработка таблично организованной информации, расчеты как основное назначение табличных процессоров. Элементы электронной таблицы. Типы используемых данных и функций. Обзор наиболее популярных табличных процессоров (Microsoft Excel, OpenOffice Calc).
контрольная работа, добавлен 04.02.2015- 107. Логические элементы
Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013 - 108. Работа в Excel
Основные компьютерные программы, используемые на практике. Изучение принципов составления и редактирование таблиц в редакторах Word и Excel. Табличные вычисления, построение и оформление диаграмм и функций. Описание правил вставки таблицы в документ.
реферат, добавлен 30.05.2016 Особенности электронных таблиц. Операции с листами рабочей книги. Работа с текстом, числами. Форматирование, редактирование данных. Операторы, используемые в формулах. Автоматизация ввода. Использование стандартных функций. Построение диаграмм и графиков.
реферат, добавлен 04.03.2018Использование электронных таблиц Excel и Spreadsheet для любых типов данных: числовых, текстовых и др. Возможности таблиц для расчетов, построения диаграмм, графиков. Многофункциональность и удобство применения таблиц, доступность справочных средств.
курсовая работа, добавлен 28.05.2009Системы управления базой данных в Microsoft Access 2007. Назначение запросов, форм и страниц. Создание базы данных, таблиц с помощью конструктора таблиц, логических связей между ними, отчетов для вывода на печать. Основные объекты Microsoft Access.
курсовая работа, добавлен 01.01.2014История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Основные понятия электронных таблиц. Команды, панели инструментов, способы адресации в Excel. Ввод формул в ячейки. Построение, редактирования и форматирования таблиц и диаграмм. Изменение параметров страницы. Создание, сохранение и печать документов.
лабораторная работа, добавлен 22.07.2017Последовательность синтеза автоматов с памятью. Составление кодированной таблицы переходов и выходов. Построение функциональной схемы автомата и правильность ее работы. Использование графических и аналитических методов минимизации логических функций.
контрольная работа, добавлен 01.07.2015Обзор используемых генераторов стихотворений. Классификация стилизованных автоматически сгенерированных и написанных человеком стихотворений. Критерии определения автора при анализе не стилизованных поэтических текстов. Оценка результатов классификатора.
дипломная работа, добавлен 10.12.2019Меню системы моделирования Еlectronics Workbench 5.12. Основы проектирования электрических и электронных схем. Особенности работы логических элементов в среде Еlectronics Workbench 5.12. Схемотехника базовых логических элементов, работа d-триггера.
дипломная работа, добавлен 14.06.2017- 117. Базы Данных
Выбор методологии проектирования, характеристика системы управления базами данных. Описание таблиц базы данных, организация ввода и корректировки. Разработка интерфейса, построение модели сущность-связь для концептуальной модели предметной области.
курсовая работа, добавлен 16.05.2018 Проведение однотипных расчетов над большими наборами данных, автоматизация итоговых вычислений. Использование относительных, абсолютных и смешанных ссылок для решения задач в табличном процессоре. Построение диаграмм и графиков с помощью таблиц.
статья, добавлен 31.07.2018Основные компоненты программы Excel 97, системные требования для ее установки, запуск и завершение работы. Управление файлами и рабочими листами, построение таблиц и табличные вычисления, редактирование формул. Программирование табличных функций.
дипломная работа, добавлен 14.12.2010Использование триггеров для построения цифровых устройств с памятью, таких как: счетчики, преобразователи последовательного кода и др. Таблица истинности синхронного RS-триггера, особенности его построения на логических элементах "2И-НЕ" и "2ИЛИ-НЕ".
презентация, добавлен 01.03.2016Проблемы технического диагностирования программируемых логических интегральных схем. Построение геометрической формы автоматных моделей, Реализация алгоритма ортогонального преобразования. Анализ эффективности применения классических методов интерполяции.
статья, добавлен 28.02.2016Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018- 123. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Презентация нового алгоритма параллельной предварительной обработки таблиц, основанного на теории приближенных множеств. Решение обобщенной задачи разбиения значений качественных и количественных атрибутов в условиях отсутствия некоторых значений.
статья, добавлен 17.01.2018Автоматизация учета ремонтных работ и обслуживания компьютерной техники в сервисном центре. Интерфейсы и распределение функций между человеком и системой. Достоинства функционально-ориентированных метрик. Связь модели данных с моделью процессов.
курсовая работа, добавлен 26.06.2013