Minus s teckou

[stu]

Ahoj, nevite nekdo, co znamena minus s teckou nahore, ktere Kucera tak casto pouziva v dukazech? Znamena to "otoc konvergenci na divergenci a divergenci na konvergenci" nebo jen jde o to, abych otocil hodnotu te funkce, kterou "odcitam" timhle operatorem? Nikde jsem to nenasel zadefinovane...Diky.

[Vlk]

y [- s teckou] x (tzv. podminene odecitani) je definovano takto:
(i) y - x, pro y - x >= 0
(ii) 0, pro y - x < 0

Pozn.:
- Je to PRF.
- Je definovana pro vsechna prirozena cisla (o to, zda tato cisla koduji program, neco jineho nebo vubec nic se definice nestara).
- Minus "-" v bodech (i) a (ii) je klasicke minus (na prirozenych cislech).

[stu]

Diky moc!