Математические и логические основы информатики
Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
Подобные документы
Законодательные основы компьютерной безопасности. Создание, использование и распространение вредоносных программ для ЭВМ. Защита данных в сетях и системах сотовой связи. Основные понятия формальной логики. Сущность логических выражений и операций.
контрольная работа, добавлен 23.11.2010Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.
реферат, добавлен 14.05.2013История возникновения электронных вычислительных машин (ЭВМ). Архитектура и основные устройства ЭВМ. Булева алгебра или алгебра логики, ее сущность. Понятие конъюнкции, дизъюнкции и отрицания. Логические основы компьютера. Вентили, триггеры и сумматоры.
реферат, добавлен 07.12.2011Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.
презентация, добавлен 26.05.2016Приобретение навыков программирования арифметико-логических операций командами микроконтроллера. Характеристика блок-схемы алгоритма и исходного кода программы. Влияние арифметических и логических указаний командной строки МК Intel 8051 на флаги.
лабораторная работа, добавлен 30.11.2016Использование математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ при алгоритмизации решения задач. Характеристика пакетов прикладных программ. Основные тенденции в области развития проблемно-ориентированных программных средств.
контрольная работа, добавлен 21.10.2009Арифметические операции с использованием булевой алгебры. Проектирование комбинационных логических схем. Расчет по математическим основам проектирования цифровых устройств. Синтез комбинационных и последовательностных логических схем и их проектирование.
курсовая работа, добавлен 02.04.2015Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014- 35. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Виды автоматизированных систем обработки данных. Смысл двоичного и двоично-десятичного представления чисел, упакованного кода и модели в математике. Место в машинной информатике алгебры Буля, способы представления булевых величин и схема процессора.
реферат, добавлен 30.10.2010Специфика процессов сбора, передачи, обработки, накопления и защиты информации. Методы решения логических операций с двоичным кодированием. Средства реализации информационных процессов. Основы работы с электронными таблицами и компьютерной графикой.
курс лекций, добавлен 23.05.2016Разработка и анализ преимуществ применения алгебры кортежей для интеллектуального анализа данных методами неоднородных семантических сетей. Обоснование возможности ускорения процедуры логического вывода за счет учета внутренней структуры отношений.
статья, добавлен 19.01.2018Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013Использование программируемых логических контроллеров вместо устройств с релейно-контактными схемами. Применение программируемых логических контроллеров в сфере промышленной автоматизации разных технологических процессов на больших и малых предприятиях.
лабораторная работа, добавлен 09.04.2023Понятие о логических элементах и построение таблиц истинности в Ms Excel. Применение программных кодов VBA, реализующих кнопочный ввод входных параметров логических элементов для проверки функционирования логических элементов и функциональных схем.
методичка, добавлен 29.01.2021Оценка по сложности известной и предложенных реализаций логического элемента программируемых логических интегральных схем типа FPGA. Применение дешифратора DC LUT для реализации логических функций по аппаратным затратам при некотором увеличении задержки.
статья, добавлен 26.04.2019Теория алгоритмов как теоретический фундамент вычислительных наук. Понятие алгоритма, его свойства и особенности изучения. Тесная связь информатики и математики. Основная идея математической логики (метаматематики) - формализация знаний и рассуждений.
курсовая работа, добавлен 29.12.2011Изучение типов данных Java и синтаксиса выражений. Приоритет выполнения арифметических, логических, условных и сравнительных операций, присваивания и сокращения. Вызов методов и доступ к полям. Комментарии в Java коде. Понятие реплицированного объекта.
презентация, добавлен 09.09.2012- 45. Информатика
История информатики и методов измерения и кодирования информации. Преобразования логических выражений. Построение схем на элементах заданного базиса. Арифметические операции в различных системах счисления. Перевод чисел из одной системы в другую.
курс лекций, добавлен 26.09.2017 Процессор как устройство, способное выполнять некоторый заданный набор операций над данными и вырабатывать значения заданного набора логических условий над этими данными. Особенности принципа открытой архитектуры. Анализ функций аппаратных драйверов.
шпаргалка, добавлен 27.11.2014Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.
реферат, добавлен 05.10.2014Структура программы в языке Паскаль, имена идентификаторов и типы данных. Простые и структурированные операторы, сущность арифметических и логических операций. Стандартные математические и арифметические функции. Основы визуального программирования.
курс лекций, добавлен 18.12.2016Метод формирования логических правил базы знаний экспертной системы. Логические ассоциативные правила, их формирование путём выделения из имеющегося покрытия, которое удовлетворяет определённому значению поддержки информативных информационных признаков.
статья, добавлен 29.06.2016Демонстрация метода реализации на Турбо Прологе - подхода к решению задач, записываемых с помощью логических переменных. Порядок выполнения программы в системе Visual Prolog 5.2. Составление логической системы уравнений и решение задачи о назначении.
лабораторная работа, добавлен 15.12.2011