Aufgabe 9.1

Bachelor Algorithmen und Datenstrukturen
1

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

2

Aufgabe 9.1
Ich hab da zwei Fragen zum wp-Kalkül: Wenn ich im Algorithmus teil einen Vergleich habe (a==b) muss ich dann später wenn ich die Unterscheidung {a=b∧ wp("…)} mache auch doppel = schreiben oder nur einfaches?
und meine 2.Frage wäre: Wenn ich in der Nachbedingung ein Exponent habe (a<b^c) und im Algorithmus-teil wird b quadriert hab ich dann (a<b^2^c) oder (a<b^2c)

3

  1. Du musst nur zwischen den Anführungszeichen (also im Code) == verwenden. Alles außerhalb ist ein mathematischer Ausdruck und daher musst du = verwenden.

  2. Laut den Potenzgesetzen hast du letzteres.
    Siehe hier: http://de.wikipedia.org/wiki/Potenz_(Mathematik)#Potenzgesetze :wink: