контрольная работа Специальные бинарные отношения
Антисимметричные и транзитивные отношения перпендикулярности на множестве прямых на плоскости. Неизоморфные отношения частичного порядка на четырехэлементном множестве. Доказательство логического тождества с помощью диаграмм Эйлера, логика предикатов.
Нажав на кнопку "Скачать архив", вы скачаете нужный вам файл совершенно бесплатно.
Перед скачиванием данного файла вспомните о тех хороших рефератах, контрольных, курсовых, дипломных работах, статьях и других документах, которые лежат невостребованными в вашем компьютере. Это ваш труд, он должен участвовать в развитии общества и приносить пользу людям. Найдите эти работы и отправьте в базу знаний.
Мы и все студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будем вам очень благодарны.
Чтобы скачать архив с документом, в поле, расположенное ниже, впишите пятизначное число и нажмите кнопку "Скачать архив"
| Рубрика | Математика |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 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
