Notes in Logisches Schliessen

To Subscribe, use this Key

Status	Last Update	Fields
Published	11/30/2024	Logik in Programmcode implementieren. Welche beiden Bedingungen müssen gelten?
Published	11/30/2024	Vor- und Nachbedingungen. Aussagekraft für Entwickler und Nutzer
Published	11/30/2024	Definition einer Aussage (assertion)
Published	11/30/2024	Wie werden Aussagen in Code eingebettet?
Published	11/30/2024	Vorgehen bei dem Vorwärtsschliessen (3 Schritte)
Published	11/30/2024	Vorgehen bei dem Rückwärtsschliessen (3 Schritte)
Published	11/30/2024	Vor- und Rückwärtsschliessen Gemeinsamkeiten und Unterschiede
Published	11/30/2024	Mit welcher Anweisung können Aussagen im Code geprüft werden?
Published	11/30/2024	Was ist ein Hoare-Tripel und aus welchen Bestandteilen besteht dieses?
Published	11/30/2024	Was ist die Bedeutung eines Hoare-Tripels? Welche Aussage lässt sich über den Code machen?
Published	11/30/2024	Hoare-Logik-Regel für Zuweisungen? (Wie ist das konkrete Vorgehen bei {P} X = E {Q} ?)
Published	11/30/2024	Ist dieses Tripel gültig?
Published	11/30/2024	Wie werden Aussagen in der Hoare-Logik miteinander kombiniert?
Published	11/30/2024	Wann ist dieses Tripel gültig?
Published	11/30/2024	Wie kann man zwischen stärkeren und schwächeren Aussagen unterscheiden?Bsp: Wekche Aussage ist stärker?
Published	11/30/2024	Bsp: Wann ist das folgende Tripel gültig?
Published	11/30/2024	Was gilt bei If-Anweisungen (Regel bei Verzweigungen)?
Published	11/30/2024	Hoare Logik für Schelifen
Published	11/30/2024	Beispiel: Ist dieses Tripel gültig?
Published	11/30/2024	Eine Strategie für Schleifen (5 Schritte)
Status	Last Update	Fields