Studium, Ausbildung und Beruf
 StudiumHome   FAQFAQ   RegelnRegeln   SuchenSuchen    RegistrierenRegistrieren   LoginLogin

Hoare Kalkül
Neues Thema eröffnen   Neue Antwort erstellen
Foren-Übersicht -> Informatik-Forum -> Hoare Kalkül
 
Autor Nachricht
JanFGW33b
Full Member
Benutzer-Profile anzeigen
Full Member


Anmeldungsdatum: 12.03.2008
Beiträge: 169

BeitragVerfasst am: 18 Jan 2009 - 13:23:37    Titel: Hoare Kalkül

Hallo
Folgende Aufgabe mit der ich nicht zurecht komme..:

{true}

x=5
res=x*x-6
re=res mod 5

{res=4}

ich kann mit der Vorbedingung nix anfangen bzw weiß nich wie ich die einsetzen soll..

wir haben das im Tutorium so aufgeschrieben:

{Nachbed.[Zuweisung]}Anweisung{Nachbed.}
-----------------------------------------------
{Vorbed.}Anweisung{Nachbed.}

Aber das bekomm ich bei der Aufgabe ja nicht in diese Form
bzw hae ich dann drei mal das selbe dastehn..
Und wie schreibe ich die Variable auf die ja erst in einer Zuweisung entsteht?

mfg
Jan
JanFGW33b
Full Member
Benutzer-Profile anzeigen
Full Member


Anmeldungsdatum: 12.03.2008
Beiträge: 169

BeitragVerfasst am: 18 Jan 2009 - 14:28:14    Titel:

1
{true[x<--5]}x=5{x=5}
---------------------------------
{x=5}x=5{true}


2
{x=5[res<--x*x-6]}res=x*x-6{res=19}
------------------------------------------------------
{res=5*5-6}res=x*x-6{res=19


3
{res=4[res<--res mod 5]}res=res mod 5{res=4}
-------------------------------------------------------------------
{res mod 5=4}res mod 5{res =4}



isdas so ichtig? bzw hab ich damit irgendwas verifiziert??...
irgendwie finde ich die notation sinnfrei..
Beiträge der letzten Zeit anzeigen:   
Foren-Übersicht -> Informatik-Forum -> Hoare Kalkül
Neues Thema eröffnen   Neue Antwort erstellen Alle Zeiten sind GMT + 1 Stunde
Seite 1 von 1

 
Gehe zu:  
Du kannst keine Beiträge in dieses Forum schreiben.
Du kannst auf Beiträge in diesem Forum nicht antworten.
Du kannst deine Beiträge in diesem Forum nicht bearbeiten.
Du kannst deine Beiträge in diesem Forum nicht löschen.
Du kannst an Umfragen in diesem Forum nicht mitmachen.

Chat :: Nachrichten:: Lexikon :: Bücher :: Impressum