Алгебра Дж. Буля и ее применение в теории и практике информатики
Информация, с которой имеют дело различного рода автоматизированные информационные системы, обычно называется данными, а сами такие системы - автоматизированными системами обработки данных. Различают исходные, промежуточные и выходные данные.
Подобные документы
Криволинейные и поверхностные интегралы. Криволинейный интеграл I и ІІ рода. Поверхностный интеграл I и ІІ рода. Формулы Грина, Остроградского-Гаусса, Стокса. Основные понятия теории поля. Скалярное поле. Производная скалярного поля по направлению.
курсовая работа, добавлен 09.12.2008Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Сравнительный анализ вероятностей катастрофы летательного аппарата, ее сравнение с вероятностями, связанными с дублирующими системами, с отказами двигателей и вспомогательных подсистем. Определение надежности элементов системы энергоснабжения самолета.
контрольная работа, добавлен 28.10.2012Исследования устойчивости разомкнутой и замкнутой систем. Понятие разомкнутой системы – системы, в которой отсутствует обратная связь между входом и выходом, то есть управляемая величина (выходная) не контролируется. Логарифмический частотный критерий.
реферат, добавлен 30.01.2011Понятие и свойства отражающей функции. Первый интеграл дифференциальной системы и условия существования. Условия возмущения дифференциальных систем, не изменяющие временных симметрий. Определение связи между первым интегралом и эквивалентными системами.
курсовая работа, добавлен 21.08.2009Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011- 32. Круги Эйлера
Изобретение Леонардом Эйлером геометрической схемы, с помощью которой можно изобразить отношения между подмножествами. Изучение частного случая кругов Эйлера — диаграммы Эйлера—Венна, изображающей все 2^n комбинаций n свойств (конечную булеву алгебру).
презентация, добавлен 16.02.2015 - 33. Применение систем компьютерного моделирования (СКМ) для исследования математической модели RLC-цепи
Применение системы MathCAD при решении прикладных задач технического характера. Основные средства математического моделирования. Решение дифференциальных уравнений. Использование системы MathCad для реализации математических моделей электрических схем.
курсовая работа, добавлен 17.11.2016 Основные этапы развития булевой алгебры и применение минимальных форм булевых многочленов к решению задач, в частности, с помощью метода Куайна - Мак-Класки. Применение минимизирования логических форм при проектировании устройств цифровой электроники.
курсовая работа, добавлен 24.05.2009Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014Краткие теоретические сведения по важнейшим темам курса "Высшая математика", рассмотрены типовые задачи с учетом ГОСа по специальности "Информационные системы" и "Вычислительные системы и комплексы", предложены контрольно-измерительные материалы.
учебное пособие, добавлен 30.11.2009Сущность теории динамических систем и роль связи структуры системы с её динамикой. Конечные динамические системы и сокращение мономиальных систем. Проблема изучения Булевых мономиальных систем и линейных систем над конечными коммутативными кольцами.
курсовая работа, добавлен 08.12.2010Квадратичная функция. Графиком квадратичной функции является парабола. Логарифмическая функция. Синус, косинус, тангенс, котангенс угла. Арифметическая прогрессия. Геометрическая прогрессия. Сумма бесконечной геометрической прогрессии.
контрольная работа, добавлен 19.05.2006Однородные системы линейных неравенств и выпуклые конусы. Применение симплекс-метода для отыскания опорного решения системы линейных неравенств, ее геометрический смысл. Основная задача линейного программирования. Теорема Минковского, ее доказательство.
курсовая работа, добавлен 03.04.2015- 42. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 Линейная алгебра. Комплексные числа. Деление отрезка в данном отношении. Площадь треугольника и многоугольника. Сферические и цилиндрические поверхности. Замечательные и вычислительные пределы. Производства и дифференциал. Построение графика функций.
методичка, добавлен 19.06.2015Математическая теория чисел. Понятие систем счисления. Применения двоичной системы счисления. Компьютерная техника и информационные технологии. Алфавитное неравномерное двоичное кодирование. Достоинства и недостатки двоичной системы счисления.
реферат, добавлен 25.12.2014Понятия теории вероятностей и математической статистики, применение их на практике. Определение случайной величины. Виды и примеры случайных величин. Закон распределения дискретной случайной величины. Законы распределения непрерывной случайной величины.
реферат, добавлен 25.10.2015- 46. Линейная алгебра
Определение разности и произведения матриц. Решение системы линейных уравнений методом Крамера. Уравнение прямой проходящей через точки A (xa, ya) и C (xc, yc). Порядок определения типа кривой второго порядка и ее основных геометрических характеристик.
контрольная работа, добавлен 11.12.2012 Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
учебное пособие, добавлен 27.10.2013Вычисление определителей матриц. Метод приведения матрицы к треугольному виду. Решение системы уравнений методами Крамера, Жордана-Гауса и матричным. Канонические уравнения для нахождения центра, вершины, полуоси, эксцентриситета, директрис эллипса.
контрольная работа, добавлен 18.11.2013Операция умножения матриц на примере. Сложение линейных операторов, главные свойства. Определение групп Ли, линейные и индуцированные представления. Сущность понятия "унитарный трюк". Ассоциативная алгебра с полимиальным тождеством. Радикал Джекобсона.
курсовая работа, добавлен 17.07.2016Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.
методичка, добавлен 24.08.2009