Not logged in. · Lost password · Register

lemur
Member since Oct 2013
110 posts
Subject: Braindump WS15
Hallo zusammen,

kann es sein, dass in der ersten Aufgabe von diesem Braindump https://fsi.cs.fau.de/dw/pruefungen/bachelor/thprog-ws15-b…
ein Fehler ist?



Man soll mittels Polynomordnung zeigen, dass das TES

(x º y) º z → (x º y) ∗ z

x º y → (y º x) º x

stark normalisierend ist, aber ich krieg das einfach nicht hin.
Ueberseh ich da was, oder geht das so, wie es da steht, einfach nicht?
errnosys
Member since Oct 2010
99 posts
Quote by lemur:
Man soll mittels Polynomordnung zeigen, dass das TES

(x º y) º z → (x º y) ∗ z

x º y → (y º x) º x

stark normalisierend ist, aber ich krieg das einfach nicht hin.
Ueberseh ich da was, oder geht das so, wie es da steht, einfach nicht?

Das sieht nach einem Fehler aus, denn dieses TES ist in der Tat nicht stark normalisierend.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen