Математические и логические основы информатики
Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
Подобные документы
Использование условных операторов - простых или сложных логических выражений. Значение приоритета операций при вычислении значения формулы. Алгоритм выполнения операторов if, switch, break, do, for, while. Программа расчета площадей геометрических фигур.
контрольная работа, добавлен 30.12.2010Использование многомерных нечетких интервально-логических регуляторов для решения задач регулирования. Особенности программной реализации алгоритмов интервализации и деинтервализации. Примеры реализации алгоритма интервализации на разных языках.
статья, добавлен 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- 97. Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
контрольная работа, добавлен 06.08.2013 Логика - наука о формах и способах рассуждений. Основные формы мышления: понятие, суждение (высказывание), умозаключение, доказательство. Логические функции, связки и выражения: конъюнкция, дизъюнкция, инверсия, импликация (следование), эквиваленция.
реферат, добавлен 20.12.2011Генезис информатики как области научного знания. Основные задачи современной информатики, структурная организация ее предметной области. Требования к профессионалам в области информатики. Соединение гуманитарных и профессиональных начал в обучении.
статья, добавлен 02.08.2018Разновидности блоков Java-программы: классы, методы (methods), переменные (variables) и пакеты (package). Стандартные переменные, встроенные в язык типы для представления численных значений, одиночных символов и булевских (двоичных, логических) значений.
реферат, добавлен 28.05.2018