книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Partial Equivalence Relation

Код 1272987

Нет в продаже

Аннотация к книге "Partial Equivalence Relation"

High Quality Content by WIKIPEDIA articles! In mathematics, a partial equivalence relation (often abbreviated as PER) R on a set X is a relation that is symmetric and transitive. PERs are therefore used mainly in computer science, type theory and constructive mathematics, particularly to define setoids, sometimes called partial setoids. The action of forming one from a type and a PER is analogous to the operations of subset and quotient in classical set-theoretic mathematics.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1312-5920-3
Объём: 76 страниц
Масса: 135 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают