Математические и логические основы информатики
Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
Подобные документы
Использование многомерных нечетких интервально-логических регуляторов для решения задач регулирования. Особенности программной реализации алгоритмов интервализации и деинтервализации. Примеры реализации алгоритма интервализации на разных языках.
статья, добавлен 17.07.2018Основные элементы электронной таблицы (ячейка, ссылка), структура интерфейса, типы входных данных, функций и логических операторов. Область применения, возможности графического представления данных в таблицах MS Excel и их альтернатива - OpenOffice Calc.
курсовая работа, добавлен 21.04.2014Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.
статья, добавлен 22.03.2019Формы представления информации. Представление чисел в двоичном коде. Переход из одной системы счисления в другую. Булева алгебра и логические схемы компьютера. Текстовые редакторы, процессоры. Текстовый процессор Word. Прикладное программное обеспечение.
шпаргалка, добавлен 13.07.2011Моделирование логических элементов для реализации систем функций в конфигурируемых логических блоках ПЛИС типа FPGA на базе дешифратора – DC LUT и ДНФ – конфигурируемого логического элемента. Анализ системы схемотехнического моделирования NI Multisim 10.
статья, добавлен 26.04.2019Основные методологические особенности системных исследований. Современное развитие системного подхода. Абстрактная модель системы произвольной природы. Физическое и математическое моделирование. Шкалы номинального типа. Основные функции алгебры логики.
учебное пособие, добавлен 01.01.2014Микропроцессор как устройство, отвечающее за выполнение арифметических, логических операций и операций управления, записанных в машинном коде. Основные производители процессоров, этапы и история развития и краткая характеристика его поколений.
доклад, добавлен 07.11.2011Предмет и задача информатики как дисциплины: функции и задачи информатики. Особенности представления символьной информации. Представление логической информации. Сравнительные характеристики запоминающих устройств. Основные внешние устройства ПК.
контрольная работа, добавлен 23.09.2012Операторы объявлений типов и переменных; присвоений, математических и логических операций; вызова функций; управления. Простые типы данных языка "С". Математические операции для целочисленных и вещественных вычислений. Синтаксис оператора ветвления.
лекция, добавлен 29.07.2012Введение в динамическую генерацию кода. Отображение абстрактного синтаксиса выражений в CIL. Оптимизация линейных участков кода. Peephole-оптимизация и генерация развилок, содержащих инструкции переходов. Абстрактный синтаксис логических выражений.
курсовая работа, добавлен 19.05.2009Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
курсовая работа, добавлен 06.01.2016Определение терминов "множество", "высказывание". Основные виды умозаключения: дедуктивный, индуктивный и аналогия. Основные методы решения логических задач, прием моделирования на полупрямой. Прием моделирования с помощью диаграмм (кругов) Эйлера-Венна.
презентация, добавлен 05.04.2017Моделирование и тестирование программного обеспечения контроллеров с использованием среды ForSyDe, поддерживающей функциональное программирование. Особенности обработки дискретных сигналов. Тестирование программируемых логических интегральных схем.
статья, добавлен 14.07.2016Перевод из произвольной системы счисления в десятичную. Перевод значений из бит в Кбайт. История развития ЭВМ. Составление таблицы истинности логического выражения. Построение логической схемы функции F(A,B).Работа с таблицами и графиками в Excel.
контрольная работа, добавлен 17.01.2019Рассмотрение основных операций реляционной алгебры: декартово произведения, объединения, пересечения, разности, симметричной разности, проекции, ограничения, соединения, деления. Анализ операторов манипулирования данными. Изучение квантора существования.
лекция, добавлен 20.09.2017Типы данных и основные операции, выполняемые в Microsoft Excel. Абсолютные и относительные ссылки. Математические, статистические, логические и текстовые функции Microsoft Excel: описание, примеры применения. Функции даты и времени, ссылки и массивы.
курсовая работа, добавлен 27.11.2009Практическая реализация в программной среде TIA Portal логических операций: AND, OR, NOT, NAND, NOR, XOR, NXOR и буферного усиления. Способы визуализации проекта в программной среде TIA Portal. Представление логической операции XOR в режиме симулятора.
лабораторная работа, добавлен 07.10.2015История и виды языков программирования. Методология процедурно-ориентированного программирования. Описание процедурных языков программирования. Основные элементы алгоритмического языка. Правила записи арифметических, логических и строковых выражений.
реферат, добавлен 26.12.2014Представление информации. Количество информации и единицы ее измерения. Системы счисления и перевод чисел из одной системы счисления в другую. Двоичная арифметика. Основные понятия и операции формальной логики. Основные логические элементы компьютера.
методичка, добавлен 12.07.2010Анализ взаимосвязи между логикой и функционированием электронно-вычислительных машин. Особенности операций дизъюнкции и конъюнкции с помощью ЭВМ. Использование математической логики при построении базах данных, электронных таблиц и программировании.
презентация, добавлен 19.10.2014- 96. Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
контрольная работа, добавлен 06.08.2013 Логика - наука о формах и способах рассуждений. Основные формы мышления: понятие, суждение (высказывание), умозаключение, доказательство. Логические функции, связки и выражения: конъюнкция, дизъюнкция, инверсия, импликация (следование), эквиваленция.
реферат, добавлен 20.12.2011Генезис информатики как области научного знания. Основные задачи современной информатики, структурная организация ее предметной области. Требования к профессионалам в области информатики. Соединение гуманитарных и профессиональных начал в обучении.
статья, добавлен 02.08.2018Разновидности блоков Java-программы: классы, методы (methods), переменные (variables) и пакеты (package). Стандартные переменные, встроенные в язык типы для представления численных значений, одиночных символов и булевских (двоичных, логических) значений.
реферат, добавлен 28.05.2018Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020