welche Operation ist das?

[SideshowRichie]

servus!
bei den übungsbeispielen für den Hoare Kalkül (2.4) kommt manchmal y|1 oder x|2 vor. was macht dieses |???
ich hab mir schon überlegt ob es modulo ist, kann aber nicht sein, da 2*2=3|1 in N lösbar ist. (beispiel b)
leider kommt das immer wieder vor, z.b. in der Invariante von beispiel c. da ist die auf einmal 5x=2y|23.

wahrscheinlich ist es ganz einfach, aber ich komme einfach nicht darauf, alse bitte helft mir!!!

dankbar für jede hilfe, Richie

[patricasso]

Hmm, ist das nicht sowas wie: " x|y = x Teiler von y" ??
wie man aber auf 2*2=3|1 kommt, ist mir auch unklar.

[sCHmIkOla]

wenn man sich die egrep ausdrücke anschaut....dann müsste das heissen x|y = x oder y....
skript seite 21

oder?

grüße

[qmp]

kann es sein dass du Probleme mit deinem Drucker hast, bei mir ist dass nämlich ein + (plus) ;)

oder meinst du die Umformungen die manchmal hinter Gleichungen stehen?

[SideshowRichie]

AAHHHHHHHHHHHHHHHHHH!!!!!!
danke!!!!!!!!!!!!!!!!!!!!!!
SCHEI& ver§$%&§er DRUCKER!!!!!!!!!
und da heißts ausgedruckt ist es besser als wenn mans am bildschirm liest.... *supererleichtert*

DAAAAAAAAAAAAAAAAAANKE!!!! jetzt könnt ich den test doch noch schaffen!!
viel glück euch allen!!

Richie

[-z0nk-]

hehe .... da macht 2*2 = 3+1 gleich viel mehr sinn ;)

mfg, -z0nk-

[qmp]

dacht' ichs mir doch :D

wünsche allen noch viel Glück

denn das wartet jetzt auf uns: :cuss: :cuss: :cuss: