Zur Vorbereitung auf die Prüfung wird, ausreichendes Interesse vorausgesetzt, eine Übung angeboten. Interessenten werden gebeten, sich möglichst bald, per E-Mail an gawlitza@in.tum.de, anzumelden.
Gruppe 1 | Mittwoch 13:00 - 15:15, Raum 02.07.38 |
Gruppe 2 | Donnerstag 12:15 - 14:30, Raum 02.07.38 |
Mündliche Prüfung zu "Einführung in die Informatik II vom SoS 05"
Übungswoche | Themen | Aufgabenblatt | Lösungsblatt | Zusatzmaterialien | |
KW 18 | GUI / Applet - Programmierung in Java | ||||
KW 19 | Verifikation imperativer Programme | ||||
KW 20 | Verifikation imperativer Programme mit Prozeduren | ||||
KW 21 | Verifikation imperativer Programme mit Prozeduren mit Parametern / Einführung in OCaml | ||||
KW 22 | OCaml: Einfache Operationen auf Listen, Merge-Sort, Auswertung von Ausdrücken |
PDF |
quad.ml min.ml merge.ml |
||
KW 23 | OCaml: Mini-Java-Interpreter, Filesystem (Bäume, Exceptions) |
PDF |
mj.ml file.ml |
||
KW 24 | OCaml: AVL-Bäume | avl_vorlage.ml avl.ml |
|||
KW 25 | OCaml: Hash-Tabellen | hm.ml bin.ml |
|||
KW 26 | OCaml: Greedy-Algorithmen 1 (Färben von Landkarten) | faerbung.ml | |||
KW 27 | OCaml: Greedy-Algorithmen 2 (Minimale Spannbäume) | mst.ml avl.ml | |||
KW 28 | Verfikation funktionaler Programme | ||||
KW 29 | Ocaml: Breitensuche, Datalog | bfs.ml bfs2.ml (alternative Lösung unter Verwendung von List.fold_left) |