Dr.Java
Foren As
Dabei seit: 21.03.2016
Beiträge: 99
|
|
Beweis Abbildung ° ist assoziativ |
|
Hallo. Ich habe hier einen Beweis aus meinen Buch für technische Informatik ,bei dem ich Hilfe gebrauchen könnte.
"Die Abbildung ° ist assoziativ.
Beweis: Für die zweite Komponente folgt das direkt aus der Assoziativität von .
Sei nun (g',p')=(g1,p1)°(g2,p2) und (g'',p'')=(g2,p2)°(g3,p3).
Die erste Komponente von ((g1,p1)°(g2,p2))°(g3,p3) ist
q.e.d
"
Es wurde zuvor angenommen das ° eine assoziative Abbildung M x M -> M sei,zur parallelen Präfixberechnung(falls das wichtig sein sollte).
Aber um ehrlich zu sein, verstehe ich den Beweis hinten und vorne nicht. Könnte mir vielleicht jemand einen Tipp oder Hinweis geben,wie sie hier genau vorgehen,beziehungsweise was sie genau tun?
Vielen lieben Dank im voraus und lg
__________________
Zitat: |
"Ich glaube, es gibt einen weltweiten Bedarf an vielleicht fünf Computern."
-Thomas Watson |
Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von Dr.Java: 23.09.2016 18:17.
|
|