Реляционная алгебра
Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
Подобные документы
Сущность бесконечнозначной предикатной логики, имеющей связку (нечеткое неравенство), близкой к импликации Лукасевича. Анализ ряда свойств секвенциального исчисления, в том числе свойств, служащих основой для процедур автоматического поиска доказательств.
статья, добавлен 17.01.2018Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Аксиоматическое построение множества натуральных чисел. Отношение делимости и его свойства. Полная и приведенная системы вычетов, теорема Эйлера и Ферма. Тригонометрическая форма записи комплексного числа. Действия над ними в алгебраической форме.
учебное пособие, добавлен 19.01.2015Множества: операции, свойства, уравнения, декартово произведения. Способы описания бинарного отношения. Эквивалентность, понятия комбинаторики. Графы: определения, расширения модели, оптимизационные задачи. Алгебры, группы, изоморфизмы и гомоморфизмы.
учебное пособие, добавлен 18.01.2015- 106. Векторная алгебра
Изучение линейных операций над свободными векторами (сложение векторов и умножение вектора на число). Линейные операции на множестве. Критерий коллинеарности. Правило треугольника и параллелограмма. Определение векторного пространства. Базис совокупности.
презентация, добавлен 01.09.2015 Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Понятие множества, его структура и главные элементы, существующие операции и порядок их реализации, способы задания. Сущность и методика пересечения, объединения, вычитания. Механизм и основные правила нахождения декартового произведения множества.
контрольная работа, добавлен 24.02.2015- 110. Векторная алгебра
Теоретическое исследование векторов и линейные операции с ними. Базы на плоскости и в пространстве. Прямоугольная декартова система координат. Определение скалярного произведения. Необходимое и достаточное условие коллинеарности двух нулевых векторов.
книга, добавлен 23.11.2010 - 111. Алгебра матриц
Исследование особенностей обозначения числовых матриц. Линейные операции над ними. Характеристика основ коммутативного закона умножения. Аспекты проверки свойства ассоциативности. Рассмотрение основных функций вырожденных и невырожденных матриц.
реферат, добавлен 19.06.2015 - 112. Алгебра и геометрия
Операции над множествами и их свойства. Система комплексных чисел. Многочлены с действительными коэффициентами и алгоритм Эвклида. Решение систем линейных уравнений матричным способом. Свойства аффинной и прямоугольной декартовой системы координат.
курс лекций, добавлен 17.01.2014 Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013Скалярные и векторные величины, линейные операции над ними в координатной форме, координатный базис, правило паралеллограма. Скалярное произведение векторов, их разложение по ортам в пространстве. Сонаправленные и противоположные колинеарные вектора.
методичка, добавлен 01.02.2013- 115. Линейная алгебра
Изучение формул вычисления определителей второго и третьего порядков. Применение методов Крамера и Гаусса для решения систем линейных уравнений. Аналитическая геометрия на плоскости и в пространстве. Представление комплексных чисел и операции над ними.
тест, добавлен 06.09.2017 Элементы теории множеств и операции над ними. Предмет и задачи теории вероятности, основные аксиомы дискретных пространств. Правила комбинаторики: выборка, сочетание. Схемы независимых испытаний Д. Бернулли, теоремы С.Д. Пуассона и Муавра-Лапласа.
курс лекций, добавлен 08.01.2016- 117. Линейная алгебра
Понятие евклидова пространства. Коллинеарные векторы. Размерность и базис векторного пространства. Операции над матрицами. Линейное преобразование переменных. Теорема о делении с остатком. Понятие квадратичной формы, исчисление ее канонического базиса.
дипломная работа, добавлен 17.01.2011 Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Понятие и виды матриц, операции с ними. Способы вычисления определителей второго, третьего и высших порядков. Матричный способ задания системы линейных уравнений. Свойство параллельности и перпендикулярности прямых. Уравнения плоскости в пространстве.
лекция, добавлен 18.03.2015История возникновения и использования матриц в алгебре. Рассмотрение основных понятий и типов матриц. Основные арифметические операции над матрицами. Свойства умножения матриц на число. Вычисление определителей второго и третьего порядка в матрице.
контрольная работа, добавлен 15.11.2017Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013- 122. Алгебра
Линейные уравнения и операции над матрицами. Обратная матрица и матричные уравнения. Линейные пространства, ранг матрицы и его приложения. Действия с комплексными числами. Группы, подгруппы, порядки элементов. Многочлены от одной и нескольких переменных.
курс лекций, добавлен 21.11.2011 Поле как множество, содержащее не менее двух элементов, на котором заданы две бинарные алгебраические операции – умножение и сложение. Варианты построения множества рациональных чисел. Элементарное понятие о дробном числе. Введение правил сравнения.
методичка, добавлен 17.09.2014- 124. Линейная алгебра
Матрицы и операции над ними. Определители и их свойства. Обратная матрица. Системы линейных алгебраических уравнений и их решение по формулам Крамера и методом Гаусса. Теорема Кронекера-Капелли. Собственные значения и собственные векторы матрицы.
учебное пособие, добавлен 17.04.2013 Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015