Специальные бинарные отношения
Антисимметричные и транзитивные отношения перпендикулярности на множестве прямых на плоскости. Неизоморфные отношения частичного порядка на четырехэлементном множестве. Доказательство логического тождества с помощью диаграмм Эйлера, логика предикатов.
| Рубрика | Математика |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 21.10.2015 |
| Размер файла | 161,1 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Бинарные отношения на множестве. Рефлективность, примеры рефлективности. Симметричность, транзитивность, отношение порядка. Примеры дестрибутивных и недестребутивных решеток. Основные определения и свойства теории структур. Операции над множествами.
курсовая работа [64,0 K], добавлен 04.06.2015Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа [463,0 K], добавлен 17.05.2015Изобретение Леонардом Эйлером геометрической схемы, с помощью которой можно изобразить отношения между подмножествами. Изучение частного случая кругов Эйлера — диаграммы Эйлера—Венна, изображающей все 2^n комбинаций n свойств (конечную булеву алгебру).
презентация [595,0 K], добавлен 16.02.2015Перпендикулярные прямые в пространстве. Лемма о перпендикулярности двух параллельных прямых к третьей прямой. Параллельные прямые, перпендикулярные к плоскости. Признаки перпендикулярности плоскостей. Построение перпендикуляра в многомерных пространствах.
презентация [1,6 M], добавлен 14.12.2012Общее уравнение прямой, переходящей через определенную точку. Условия перпендикулярности прямых. Условие перпендикулярности плоскостей. Свойства медианы треугольника. Нахождение направляющих векторов прямых. Условие параллельности прямой и плоскости.
контрольная работа [87,1 K], добавлен 07.09.2010Понятие параллельности как отношения между прямыми. Случаи расположения прямой и плоскости. Признаки параллельности прямой и плоскости. Основные свойства двух прямых. Отсутствие общих точек у прямой и плоскости. Признаки параллельности плоскостей.
презентация [1,5 M], добавлен 14.10.2014Перпендикулярные прямые в пространстве. Определение и признак прямой, перпендикулярной к плоскости. Теорема о перпендикулярности двух параллельных, двух перпендикулярных прямых к плоскости. Перпендикуляр и наклонные. Угол между прямой и плоскостью.
презентация [160,5 K], добавлен 20.11.2014Определения понятия множество. Предельная точка множества, предел функции в точке. Эквивалентные, счетные и несчетные множества. Замкнутые и открытые множества. Функции на множестве. Свойства непрерывных функций на замкнутом ограниченном множестве.
курсовая работа [222,3 K], добавлен 11.01.2011Нахождение координат треугольника по заданным вершинам. Условия перпендикулярности, параллельности и совпадения прямых. Уравнение плоскости, проходящей через точку. Составление канонических уравнений прямой, кривой второго порядка и поверхности.
контрольная работа [259,7 K], добавлен 28.03.2014
