Реляционная алгебра
Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
Подобные документы
- 26. Алгебра логики
Изучение специальной алгебры, занимающейся исчислением высказываний. Её роль в описании работы дискретных устройств. Элементарные функции алгебры логики. Использование двух приемов для построения произвольной. Предназначение эквивалентных соотношений.
лекция, добавлен 06.03.2014 - 27. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Интегралы и числовые ряды. Вычисление неопределенного и несобственного интеграла. Разложение функций в ряд Тейлора. Построение графика исходной функции. Решение дифференциального уравнения с помощью операционного исчисления (преобразования Лапласа).
лабораторная работа, добавлен 25.11.2014Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Матрицы, определители, системы линейных уравнений. Элементарные преобразования матриц, ранг матрицы. Матричная запись системы линейных уравнений и ее матричное решение. Элементы векторной алгебры и аналитической геометрии. Смешанное произведение векторов.
учебное пособие, добавлен 25.11.2012Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.
контрольная работа, добавлен 29.01.2012Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Рассмотрение инструментов, применяемых для решения задач линейной алгебры с помощью MathCad. Определение значения матричного выражения. Определение матричного выражения в буквенном виде и запись его значения. Умножение матрицы на единичную матрицу.
практическая работа, добавлен 31.10.2019Построение приближений решения линейных дифференциальных уравнений с переменными коэффициентами. Приведение их к интегро-дифференциальным уравнениям Вольтерра при помощи интегральных преобразований Лапласа и основных теорем операционного исчисления.
статья, добавлен 26.07.2016Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.
учебное пособие, добавлен 12.05.2014Понятие, сущность, значение и происхождение алгебры, характеристика её деления, отличия от арифметики. Процесс возникновения и развитие науки у арабов и европейцев, история её совершенствования. Первооткрыватели алгебры, их деятельность и работы.
реферат, добавлен 16.09.2014- 40. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 Основатели символического (операционного) исчисления. Оригиналы и изображения функций по Лапласу. Основные теоремы операционного исчисления. Дифференцирование изображения. Интегрирование оригинала и изображения. Отыскание оригинала по изображению.
курсовая работа, добавлен 27.02.2020Оценка раздела математики, который можно охарактеризовать как обобщение и расширение арифметики. Обзор происхождения алгебры на земле. Исследование её развития в разных странах со временем. Определение назначения алгебры и её применения в жизни человека.
реферат, добавлен 19.10.2016История интегрального исчисления и вопросы интегрального исчисления. Вклад физики в науку интегрального исчисления. Дифференциальное и интегральное исчисление и его применение. Определение, свойства интеграла. Криволинейная трапеция, стандартные картинки.
курсовая работа, добавлен 21.11.2009Изучение сведений о матрицах. Рассмотрение алгебры матриц. Обзор определителей квадратных матриц. Анализ системы линейных уравнений. Определение положения векторов на плоскости и в трехмерном пространстве. Оценка элементов аналитической геометрии.
учебное пособие, добавлен 13.04.2019Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013- 48. Понятие тензора
Тензор как объект линейной алгебры. Общее определение тензора. Анализ тензоров первого и второго ранга, тензоров напряжения. Риманова метрика. Линейные операторы на векторах. Тензоры типа (0, k). Требования к ковариантному дифференцированию тензоров.
контрольная работа, добавлен 01.09.2017 Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Автоматизация процессов обработки информации. Создание математической модели отнесения документов, поступающих в автоматизированную систему к области ответственности исполнителя. Использование математического аппарата алгебры конечных предикатов.
статья, добавлен 12.05.2017