Mitschrift zu den letzten VO's

[skytale]

Hallo!
Gibt es vielleicht irgendwo eine Mitschrift von den letzten VO's, wo er Bsp. gerechnet hat und was er sonst noch so über die Prüfung erzählt hat?? Wäre dankbar!:D

[Harti]

Ich schließe mich dem an. Konnte leider die letzten beiden Donnerstage nicht die VO besuchen.

Danke,
Harti

[sabs]

ich war schon, glaub aber nicht, dass meine mitschriften helfen (kann sie selbst kaum entziffern) vielleicht schaff ich es morgen noch sie abzutippen, wenn nicht, scann ich sie ein und poste sie hier.

[tocvolxa]

könnte vielleicht jemand zumindest posten,
welche themen die letzten zwei mal besonder intensiv
durchgemacht wurden?
den ganzen stoff, werd ich bis morgen kaum noch durchbekommen ;)

obwohl, mitschriften wären ntürlich auch ned schlecht (bin scho still *g*)

tia,
das wird noch eine lange nacht ;)

[walli]

Das war so halbwegs das was er gemacht hat und wo er gesagt hat es kommt bestimmt ein Beispiel zur Prüfung

-etwas mit egrep ausdrücke
-Sprache in kontextfreie Grammatik (EBNF-Form) umwandeln
-Minimaler DEA aufbauen
-eine Formel für gültig, erfüllbar, widerlegbar,.. erklären (Davis-Putnam, Tableaux-Kalkül, Sequentialkalkül)
-Hoare-Kalkül

[sabs]

so!
hab jetzt meine skripten durchgschaut und hier sind die versprochenen filese.
die von 20.6.02 sollte vollständig sein.
bei der vom 6.6 fehlt ungefähr die letzte hälfte.

[tocvolxa]

vielen dank!
und viel glück euch allen