Vorlesungsankündigung
(Sommersemester 2005) Di 12:15-13:45 Uhr und Fr 11:45-13:15 Uhr im
Hörsaal MW 1801
Wichtig:
Klausur:
Nachklausur:
Einführung in die Informatik 2
Inhalte:
- Event-basiertes Programmieren und graphische Benutzeroberflächen
- Tic-Tac-Toe
- Korrektheit imperativer Programme: das Hoare-Kalkül
- Verifikation nach Floyd
- Terminierung
- Verifikation nach Hoare
- Prozeduren
- Lokale Variablen und Parameter-Übergabe
- Grundbegriffe funktionalen Programmierens mit Ocaml:
- Werte, Variablen, Funktionen
- Datenstrukturen, Pattern Matching
- Höhere Funktionen
- Polymorphe Typen
- Schlangen
- Unendliche Listen
- AVL-Bäume
- Imperative Konstrukte in Ocaml: Referenzen, Felder, Iteration
- Einfache Graph-Algorithmen:
- Erreichbarkeit
- Topologisches Sortieren
- Kürzeste Wege
- Programmieren im Großen: Strukturen und Funktoren
- Semantik funktionaler Programme
- Verifikation funktionaler Programme
- Nebenläufigkeit
- Programmieren mit Relationen: Datalog
Literaturvorschläge:
- OCaml
Dokumentation (OCaml User's Guide, OCaml Tutorials u.v.m.)
- Guy Cousineau und Michel Mauny, The Functional Approach to Programming,
Cambridge University Press, Cambridge, 1998
- T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen. Spektrum 2002
- M. Broy: Informatik. Eine grundlegende Einführung. Bände 1+2, Springer 1998
Termine:
Beginn: 12. April 2005
Vorlesung: Di. 12:15-13:45 und Fr. 11:45-13:15
im Hörsaal MW 1801 West
Zentralübung: Di. 14:15-15:00 im
Hörsaal MW 1801 West
Semestralklausur: Samstag, 16. Juli 2005 zwischen 9 und 12 Uhr
Wiederholungsklausur: Mittwoch, 12. Oktober 2005
Aufzeichnungen:
Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.
Folien:
- Vorlesung am 12. April 2005:
PS,
PDF
- Vorlesung am 15. April 2005:
PS,
PDF
- Vorlesung am 19. April 2005:
PS,
PDF
- Vorlesung am 22. April 2005:
PS,
PDF
- Vorlesung am 26. April 2005:
PS,
PDF
- Vorlesung am 29. April 2005:
PS,
PDF
- Vorlesung am 03. Mai 2005:
PS,
PDF
- Vorlesung am 06. Mai 2005:
PS,
PDF
- Vorlesung am 10. Mai 2005:
PS,
PDF
- Vorlesung am 13. Mai 2005:
PS,
PDF
- Vorlesung am 20. Mai 2005:
PS,
PDF
- Vorlesung am 24. Mai 2005:
PS,
PDF
- Vorlesung am 27. Mai 2005:
PS,
PDF
- Vorlesung am 31. Mai 2005:
PS,
PDF
- Vorlesung am 03. Juni 2005:
PS,
PDF
- Vorlesung am 07. Juni 2005:
PS,
PDF
- Vorlesung am 10. Juni 2005:
PS,
PDF
- Vorlesung am 14. Juni 2005:
PS,
PDF
- Vorlesung am 17. Juni 2005:
PS,
PDF
- Vorlesung am 21. Juni 2005:
PS,
PDF
- Vorlesung am 24. Juni 2005:
PS,
PDF
- Vorlesung am 28. Juni 2005:
PS,
PDF
- Vorlesung am 01. Juli 2005:
PS,
PDF
- Vorlesung am 05. Juli 2005:
PS,
PDF
- Vorlesung am 08. Juli 2005:
PS,
PDF
- Vorlesung am 12. Juli 2005:
PS,
PDF
- Alle Folien:
PS,
PDF
Skript
Zusatzmaterialien:
Newsgroup:
tum.info.info12