Übung zu "Einführung in die Informatik II vom SoS 05"

Morgen, Donnerstag 27.07. findet um 12:15 eine Fragestunde statt, an der Besucher beider Übungsgruppen teilnehmen können (bitte bereits vorher Fragen überlegen).

Anmeldung zur Prüfung (siehe hier)

Univ.-Prof. Dr. Helmut Seidl / Thomas Gawlitza

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.

Termine:

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"

Hinweise

Übungsblätter

Übungswoche Themen Aufgabenblatt  Lösungsblatt  Zusatzmaterialien
KW 18 GUI / Applet - Programmierung in Java PDF PDF  
KW 19 Verifikation imperativer Programme PDF PDF  
KW 20 Verifikation imperativer Programme mit Prozeduren PDF PDF  
KW 21 Verifikation imperativer Programme mit Prozeduren mit Parametern / Einführung in OCaml PDF PDF  
KW 22 OCaml: Einfache Operationen auf Listen, Merge-Sort, Auswertung von Ausdrücken PDF PDF
quad.ml
min.ml
merge.ml
KW 23 OCaml: Mini-Java-Interpreter, Filesystem (Bäume, Exceptions) PDF PDF
mj.ml
file.ml
KW 24 OCaml: AVL-Bäume PDF PDF avl_vorlage.ml
avl.ml
KW 25 OCaml: Hash-Tabellen PDF PDF hm.ml
bin.ml
KW 26 OCaml: Greedy-Algorithmen 1 (Färben von Landkarten) PDF PDF faerbung.ml
KW 27 OCaml: Greedy-Algorithmen 2 (Minimale Spannbäume) PDF PDF mst.ml
avl.ml
KW 28 Verfikation funktionaler Programme PDF PDF  
KW 29 Ocaml: Breitensuche, Datalog PDF PDF bfs.ml
bfs2.ml (alternative Lösung unter Verwendung von List.fold_left)