Основы математической логики
Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
Подобные документы
Рассмотрение возможностей и функций Microsoft Access, типов используемых данных. Составление таблицы сотрудников. Создание таблиц средствами системы управления базами данных. Построение процедур связей таблиц. Обработка запросов и данных для отчетов.
курсовая работа, добавлен 29.06.2014Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.
контрольная работа, добавлен 16.02.2015Сущность алгебры логики как математической основы цифровой и вычислительной техники. Характеристика логического элемента как электронного устройства, реализующего одну из логических операций. Логическое сложение и умножение в компьютерах, функция Пирса.
реферат, добавлен 04.10.2014Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020Перевод числа из двоичной в другие системы счисления. Составление логической схемы и построение таблицы истинности. Построение графиков функций в разных системах координат. Решение задач линейного программирования. Создание базы данных в среде MS Access.
контрольная работа, добавлен 14.08.2012Необходимость минимизирования для реализации функции на логических элементах. Способы минимизации: Метод Квайна и Карты Карно. Реализация функции в смешанном базисе. Реализация функции на дешифраторе и логических элементах. Составление таблицы истинности.
контрольная работа, добавлен 20.03.2009Оценка по сложности известной и предложенных реализаций логического элемента программируемых логических интегральных схем типа FPGA. Применение дешифратора DC LUT для реализации логических функций по аппаратным затратам при некотором увеличении задержки.
статья, добавлен 26.04.2019История развития программ обработки электронных таблиц. Основные компоненты Excel 2003. Инсталляция программы и управление файлами. Построение таблиц и табличные вычисления. Построение и оформление диаграмм. Программирование табличных функций Excel.
курсовая работа, добавлен 24.03.2010Составление логической функции по таблице истинности. Построение логической схемы в элементом базисе "И-НЕ", "ИЛИ-НЕ", предварительно сделав соответствующее преобразование логической функции. Приведен способ минимизирования исходной логической функции.
лабораторная работа, добавлен 20.12.2019Вероятностное представление знаний в машине. Синтез сети на основе априорной информации. Экспертные системы и формальная логика. Изучение особенностей вывода суждений в условиях неопределенности. Анализ метода построения связей и правил в узлах дерева.
курс лекций, добавлен 25.11.2013Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
лекция, добавлен 29.10.2013Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
статья, добавлен 18.01.2018История создания таблиц Microsoft Excel. Разработка интерфейса, работа с данными в рамках этой программы. Принципы расчета формул и функций. Алгоритм работы с таблицами, построение диаграмм и графиков. Применение электронных таблиц в бухгалтерском учете.
реферат, добавлен 13.05.2018Поиск простых и верных решений логических задач для обеспечения информационной поддержки учителей школ. Особенности метода решения логических уравнений, синтеза логических выражений с помощью встроенных стандартных функций математического пакета Mathcad.
статья, добавлен 18.07.2018Исследование наиболее полезных и интересных текстовых функций электронных таблиц Excel как удобного инструмента для автоматизации вычислений, их общая характеристика и особенности применения. Примеры задач на использование описанных функций таблиц.
статья, добавлен 16.07.2018Логический вентиль – своего рода атом, из которого состоят электронные узлы ЭВМ. Принцип работы вентильных и логических схем. Характеристика логических функций отрицания, инверсии, дизъюнкции и конъюнкции. Примеры использования логических функций.
лекция, добавлен 15.12.2010Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Построение структуры логического устройства согласно полученному языковому выражению. Проведение исследования работы программы моделирования, выполненной в среде Borland Delphi 7. Формирование логических функций с использованием системы моделирования.
статья, добавлен 25.08.2020Графические изображения вентилей и таблицы истинности реализуемых ими логических функций. Анализ способов, применяемых для минимизации времени вычислений. Целые двоичные числа в программе ассемблера. Изображение положительных и отрицательных чисел.
контрольная работа, добавлен 09.05.2015Формирование логических функций, описывающих работу устройства. Преобразование систем счисления. Функция одноадресной ссылки. Общий вид карты Вейча для второго диапазона. Выбор элементной базы. Таблица истинности элемента "или-не", "и-не" и "не".
контрольная работа, добавлен 06.08.2013Табулирование и построение графиков функций. Получение таблиц значений шести функций в приложениях: Microsoft Excel, Mathcad и Fortran. Программирование циклических вычислительных процессов. Особенности описания и использования массивов в программе.
методичка, добавлен 17.04.2013Разработка алгоритма и механизм написания программы на языке Turbo Pascal, ее структура и компоненты, принципы тестирования. Построение электронных таблиц, их содержание и предъявляемые требования. Вычисление значения функций и их графики в Excel.
контрольная работа, добавлен 13.10.2017Создание нового документа в Excel, управление рабочими листами. Построение таблиц, табличные вычисления и редактирование формул. Оформление диаграмм. Конструктор и редактирование функций. Импортирование рисунков в Excel, создание списков, анализ данных.
курсовая работа, добавлен 30.11.2009