[sisyphus] Re: [JT] Re: I: Sisyphus-20051024 packages: +1! +4 (4867)

[Alexey Tourbin]

On Mon, Oct 24, 2005 at 03:42:13AM +0400, Alexey Rusakov wrote:
> >Не понял.  Коммутативность(+) ::= forall(a,b) a+b = b+a
> >Сравнение версий и не может быть коммутативным в этом смысле.
> >То есть речь идёт не о свойстве a<b=b<a, а о свойстве a<b=b>a.
> > 
> Угу, это антикоммутативностью зовётся.

Ещё хуже. :)  Посмотрел по книжке, здесь уместнее всего будет "отношение
порядка", оно должно быть антисимметричным и транзитивным, а также
антирефлексивным (для строгого порядка).  "Дискретная математика для
программистов", стр. 45.  Книжка есть в сети.
----------- следущая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : отсутствует
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: отсутствует
Url     : http://lists.altlinux.org/pipermail/sisyphus/attachments/20051024/7ee852e8/attachment.bin