Изменения
Новая страница: «Допустим нам дана задача: проверить, пересекаются ли заданные отрезки на плоскости. Для уп…»
Допустим нам дана задача: проверить, пересекаются ли заданные отрезки на плоскости. Для упрощения определения этого факта в вычислительной геометрии используется предикат "левый поворот". Left_Turn(a, b, c).
Для начала разберемся, что за зверь такой - Предикат.
{{Определение
|definition =
'''Предикат''' (лат. '''praedicatum''' — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная
}}
== Примеры ==
- Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где ''x'' и ''y'' принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
- Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество ''M'' — это множество всех людей.
Итак, у нас есть предикат, что же мы с ним будем делать?
Пока не знаю...
== Ссылки ==
* [http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82 Wikipedia - Предикат]
Для начала разберемся, что за зверь такой - Предикат.
{{Определение
|definition =
'''Предикат''' (лат. '''praedicatum''' — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная
}}
== Примеры ==
- Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где ''x'' и ''y'' принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
- Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество ''M'' — это множество всех людей.
Итак, у нас есть предикат, что же мы с ним будем делать?
Пока не знаю...
== Ссылки ==
* [http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82 Wikipedia - Предикат]
