[Progra] Verifitkation

[yes1st]

Hallo,
ich wollte mal fragen ob jemand seriöse und gut erklärte quellen über Verifikation kennt.
Die Vorlesung ging zu schnell habe nicht viel mitbekommen.

MFG

[bt]

Soweit ich in Erinnerung hab, werden die Vorlesungsfolien in Progra veröffentlicht. Dort solltest Du die Definitionen etc. ja finden.
Ansonsten werdet Ihr sicher in den Tutorien noch bisschen mitm Hoare-Kalkül rumtüfteln.

Zum Üben empfehle ich außerdem alte Klausuren.

[bunower]

Naja das Problem habe ich auch nur die Folien sagen halt nicht viel für mich aus.
Gibt es keine Lektüre oder nicht

[Thomas21]

naja,bis zur globalübung bzw. bis zum tutorium hab ich's damals auch nich richtig verstanden, aber da wurd's find ich echt gut erklärt,sonst hilft dabei vor allem eins,üben,üben,üben

[Pila]

naja, nach der vorlesung wars bei mir so zu ca. 30-40% drin, aber eben nach der globalübung - denke ich - habe ich es jetzt komplett verstanden! Der hat das echt sauber erklärt, fand ich
Jetzt versteh ich sogar die Folien und wenn du die Folien verstehst ist es dann doch eigt. nicht richtig schwer
Für mich war das Prob. dass ich während der Vorlesung die Folien nicht so richtig verstanden hatte und so auch nicht die Verifikation so dolle verstanden habe, aber alte Übungen etc.. nachmachen und nachschauen bringts echt

sven

[C-Otto]

Der hat das echt sauber erklärt, fand ich

Falls du mich meinst:

[kb]

ich rieche was...

[MaoDelinSc]

Also mir hat's letztes Jahr geholfen, einfach schon fertig gemachte Kalküle anzusehen (z.B. mitgeschrieben aus dem Tutorium, von andererleuts Hausaufgaben kopiert oder Globalübung...) und unser Tutor hat das auch super erklärt.

Wenn man sieht, wie es gemacht wird und sich dabei noch die Folien anguckt, dann weiß man auch, warum es geht

[zorgblaubaer]

ich habe das ganze anhand dieses "tutorials" verstanden! http://wwwswt.informatik.uni-rostock.de/deutsch/Mitarbeiter/michael/lehre/pt_2001/Hoare_akt_008.pdf
in der vorlesung sowie in den übungen war mir das ganze ein völliges rätsel nach lektüre obigen dokuments habe ich aber volle punkte in der klausur bekommen...

[kb]

Oft genug üben bringt sehr viel! Viele Schritte wiederholen sich bzw. sind sich ähnlich. Wenn man das gut genug geübt hat, kann man die Verifikation in der Klausur in 5-10 Min schaffen. Sind gute, schnelle Punkte!

[cracki]

weil es noch keiner gesagt hat:

Verifikation macht sich einfacher, wenn man von unten anfaengt. also man geht von dem aus, was man haben will und biegt sich das so zurecht, dass es passt.

[Pila]

Der hat das echt sauber erklärt, fand ich

Falls du mich meinst:

falls du der Typ bist ,der die Globalübung leitet, dann ja xD

[NeX]

Es gibt auch immer die Möglichkeit die Tutoren nochmals genauer darauf anzusprechen.

Die würden dann sicher nochmal das ein oder andere Hoarekalkül durchgehen und alle Fragen klären.

Sprechenden Menschen kann geholfen werden

von daher....ihr habt doch Tutorien die genau dazu da sind....Fragen zu klären und Themen zu erklären / wiederholen....

also nutzt sie

[bt]

los, pisakt vorallem ihn da mit fiesen fragen - bis einer weint!

[cracki]

ich muss NeX und bt zustimmen. genau dafuer sind wir da. stellt fragen, so lange ihr die chance habt. egal wie trivial, einfach fragen.