Основы математической логики
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
Подобные документы
Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.
курсовая работа, добавлен 04.05.2014- 77. Разработка устройства для экспертной диагностики систем на основе нечеткой логики нейронных сетей
Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.
статья, добавлен 15.05.2017 Анализ средств и систем защиты информации. Характеристика способов представления булевых функций, приведение критериев эффективности и пути повышения производительности средств и систем защиты информации. Описание форм представления логических функций.
статья, добавлен 29.04.2017Использование условных операторов - простых или сложных логических выражений. Значение приоритета операций при вычислении значения формулы. Алгоритм выполнения операторов if, switch, break, do, for, while. Программа расчета площадей геометрических фигур.
контрольная работа, добавлен 30.12.2010Составление логической функции по таблице истинности. Построение логической схемы в элементом базисе "И-НЕ", "ИЛИ-НЕ", предварительно сделав соответствующее преобразование логической функции. Приведен способ минимизирования исходной логической функции.
лабораторная работа, добавлен 20.12.2019Процессор как устройство, способное выполнять некоторый заданный набор операций над данными и вырабатывать значения заданного набора логических условий над этими данными. Особенности принципа открытой архитектуры. Анализ функций аппаратных драйверов.
шпаргалка, добавлен 27.11.2014Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011Определение терминов "множество", "высказывание". Основные виды умозаключения: дедуктивный, индуктивный и аналогия. Основные методы решения логических задач, прием моделирования на полупрямой. Прием моделирования с помощью диаграмм (кругов) Эйлера-Венна.
презентация, добавлен 05.04.2017Исследование понятия "искусственный нейрон". Характеристика модели нейрона Маккалока-Питтса. Моделирование логических операций "конъюнкция" и "дизъюнкция", оценка невозможности решения проблемы "исключающего или" с помощью нейрона с двумя входами.
лабораторная работа, добавлен 19.06.2022Назначение логических устройств (шифраторов и дешифраторов). Примеры построения шифраторов и дешифраторов на пороговые элементы и формальные нейроны. Основные виды дешифраторов. Типы триггеров на потенциальных элементах, характеристика их функций.
лабораторная работа, добавлен 20.06.2015Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Графические изображения вентилей и таблицы истинности реализуемых ими логических функций. Анализ способов, применяемых для минимизации времени вычислений. Целые двоичные числа в программе ассемблера. Изображение положительных и отрицательных чисел.
контрольная работа, добавлен 09.05.2015Обработка данных, реализация логических, арифметических операций и управление в режиме реального времени в системе команд ОМЭВМ, их мнемонические обозначения (аббревиатуры) и конкретизация функций. Перечень команд, упорядоченных по алфавиту и по кодам.
контрольная работа, добавлен 19.02.2011Исследование структуры компьютера и принципов его функционирования. Понятие арифметико-логического устройства, его свойства и назначение. Анализ арифметических и логических операций в ЭВМ. Разработка программы реализации арифметического выражения.
контрольная работа, добавлен 07.04.2015Микропроцессор как устройство, отвечающее за выполнение арифметических, логических операций и операций управления, записанных в машинном коде. Основные производители процессоров, этапы и история развития и краткая характеристика его поколений.
доклад, добавлен 07.11.2011Характеристика влияния взаимосвязей входных и выходных переменных на производительность многомерных интервально-логических регуляторов и сложность систем в целом. Главная особенность использования промежуточных или смешанных вариантов расстановки связей.
статья, добавлен 17.07.2018Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.
реферат, добавлен 05.10.2014Пример графа для иллюстрации понятия "кратчайший путь". Граф с официальным циклом. Иллюстрация логики алгоритма Форда-Беллмана. Работа алгоритма Е. Дейкстры. Формализованная запись логики. Пути в бесконтурном графе. Использование алгоритма Флойда.
презентация, добавлен 24.09.2017Формирование логических функций, описывающих работу устройства. Преобразование систем счисления. Функция одноадресной ссылки. Общий вид карты Вейча для второго диапазона. Выбор элементной базы. Таблица истинности элемента "или-не", "и-не" и "не".
контрольная работа, добавлен 06.08.2013Проектирование многомерных интервально-логических регуляторов, их базовые отличия от нечетких регуляторов, возможности системы для их автоматизированной разработки. Редакторы блоков интервализации и деинтервализации, правил и управляющих воздействий.
статья, добавлен 17.12.2016- 97. Информатика
История информатики и методов измерения и кодирования информации. Преобразования логических выражений. Построение схем на элементах заданного базиса. Арифметические операции в различных системах счисления. Перевод чисел из одной системы в другую.
курс лекций, добавлен 26.09.2017 Основные элементы электронной таблицы (ячейка, ссылка), структура интерфейса, типы входных данных, функций и логических операторов. Область применения, возможности графического представления данных в таблицах MS Excel и их альтернатива - OpenOffice Calc.
курсовая работа, добавлен 21.04.2014Использование алгебры логики при построении основных узлов ЭВМ, логический элемент как часть электронной схемы компьютера. Применение триггеров в регистрах компьютера для запоминания двоичного кода. Принцип работы регистра памяти, сумматора, дешифратора.
лекция, добавлен 20.01.2015Проектирование приложения, выводящего информацию о логических дисках: размер диска, свободное место, кластеры. Выведение номера тома, буфер, название. Последовательность смешения битовой маски всех дисков. Пример интерфейса программы и ее запуск.
лабораторная работа, добавлен 19.07.2017