Алгебра Дж. Буля и ее применение в теории и практике информатики
Информация, с которой имеют дело различного рода автоматизированные информационные системы, обычно называется данными, а сами такие системы - автоматизированными системами обработки данных. Различают исходные, промежуточные и выходные данные.
Подобные документы
Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.
презентация, добавлен 14.12.2016Преимущества уравнений Лагранжа и их применение. Классификация связей внутри механической системы. Возможные перемещения механической системы и число степеней свободы. Применение уравнений Лагранжа второго рода к исследованию механической системы.
курсовая работа, добавлен 21.08.2009Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций, добавлен 29.11.2009Рассмотрение теории дифференциальных уравнений. Выделение классов уравнений с систем, решения которых не имеют подвижных критических особых точек. Установление достаточности найденных условий путем сравнения с классическими системами типа Пенлеве.
курсовая работа, добавлен 01.06.2015Законы алгебры Буля и их применение для преобразования логических выражений. Расчет информационной емкости документов предметной области. Построение инфологической, реляционной и даталогической моделей. Применение методов поиска и сортировки данных.
курсовая работа, добавлен 05.01.2013Простейшие способы обработки опытных данных. Подбор параметров способом средних. Подбор параметров способом наименьших квадратов. Применение простейших способов обработки опытных данных к конкретным процессам.
дипломная работа, добавлен 08.08.2007- 7. Алгебра
Квадратные матрицы и определители. Координатное линейное пространство. Исследование системы линейных уравнений. Алгебра матриц: их сложение и умножение. Геометрическое изображение комплексных чисел и их тригонометрическая форма. Теорема Лапласа и базис.
учебное пособие, добавлен 02.03.2009 Изучение абстрактных систем замыканий на множестве. Теорема о взаимосвязи между системами замыканий и операторами замыкания. Понятие и структура алгебраических систем замыканий. Анализ соответствия Галуа как наиболее важного примера систем замыканий.
дипломная работа, добавлен 27.05.2008Обратная матрица. Матричные уравнения. Некоторые свойства определителей. Решение квадратной системы. Фундаментальная система решений. Метод Крамера. Если D=0 и не все Dxj=0, то система несовместна.
лабораторная работа, добавлен 07.10.2002Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Побудова графічної схеми алгоритму та розмітка станів автомата, графа та кодування, структурної таблиці. Синтез комбінаційних схем для функцій збудження тригерів і вихідних сигналів. Представлення функції в канонічних формах алгебр Буля, їх мінімізація.
курсовая работа, добавлен 27.08.2014Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Выполнение действий над матрицами. Определение обратной матрицы. Решение матричных уравнений и системы уравнений матричным способом, используя алгебраические дополнения. Исследование и решение системы линейных уравнений методом Крамера и Гаусса.
контрольная работа, добавлен 24.10.2010Изучение аппроксимации таблично заданной функции методом наименьших квадратов при помощи вычислительной системы Mathcad. Исходные данные и функция, вычисляющая матрицу коэффициентов систему уравнений. Выполнение вычислений для разных порядков полинома.
лабораторная работа, добавлен 13.04.2016- 15. Теория сравнений
Основное понятие теории положительных (натуральных) чисел. Развитие стенографии для операций арифметики. Символический язык для делимости. Свойства и алгебра сравнений. Возведение сравнений в степень. Повторное возведение в квадрат. Малая теорема Ферма.
презентация, добавлен 04.06.2014 История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014История появления теории фракталов. Фрактал – самоподобная структура, чье изображение не зависит от масштаба. Это рекурсивная модель, каждая часть которой повторяет в своем развитии развитие всей модели в целом. Практическое применение теории фракталов.
научная работа, добавлен 12.05.2010Особенности системы индексных обозначений. Специфика суммирования в тензорной алгебре. Главные операции в алгебре, которые называются сложением, умножением и свертыванием. Применение операции внутреннего умножения. Симметричные и антисимметричные объекты.
реферат, добавлен 07.12.2009Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Кусторез как устройство, предназначенное для остатков травяной и кустовой поросли различного характера: особенности математической обработки данных, проведение экспериментальной оптимизации параметров. Анализ карты оптимизации потребляемой мощности.
курсовая работа, добавлен 19.03.2013Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Понятие и основные свойства вложимой системы, необходимые условия вложимости и методы решения системы. Нахождение первого интеграла дифференциальной системы и условия его существования. Применение теоремы об эквивалентности дифференциальных систем.
курсовая работа, добавлен 21.08.2009- 23. Линейная алгебра
Понятие и сущность определителей второго порядка. Рассмотрение основ системы из двух линейных уравнений с двумя неизвестными. Изучение определителей n–ого порядка и методы их вычисления. Особенности системы из n линейных уравнений с n неизвестными.
презентация, добавлен 14.11.2014 Статистика – наука о массовых явлениях в природе и обществе; получение, обработка, анализ данных. Демографическая статистика, прогноз численности населения России. Методы обработки статистических данных: элементы логики, комбинаторики, теории вероятности.
презентация, добавлен 19.12.2012Решение системы уравнений по формулам Крамера и методом Гаусса. Нахождение объема пирамиды, площади грани, величины проекции вектора с помощью средств векторной алгебры. Пример определения и решения уравнения стороны, высоты и медианы треугольника.
контрольная работа, добавлен 22.04.2014