[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.  Книжка есть в сети.
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/sisyphus/attachments/20051024/7ee852e8/attachment-0003.bin>