Home
Lehre
aktuelle Semester...
Sommersemester 18
Wintersemester 17/18
Personen
Research
Projects
Events
Jobs/Studienarbeiten
SiteMap
Puma
Impressum & Datenschutz
|
Einführung in die Informatik 2

alte Homepage:
http://www2.in.tum.de/lehre/vorlesungen/WS08/info2/

Inhalt:
- Korrektheit imperativer Programme
- Verifikation nach Floyd
- Terminierung
- Prozeduren
- Lokale Variablen
- Grundbegriffe funktionalen Programmierens mit Ocaml
- Werte, Variablen, Funktionen
- Datenstrukturen, Pattern Matching
- Höhere Funktionen
- Polymorphe Typen
- Schlangen
- Imperative Konstrukte in Ocaml
- Referenzen
- Felder
- Iteration
- Programmieren im Großen: Strukturen und Funktoren
- Korrektheit funktionaler Programme
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
- Apt, Olderog: Programm-Verifikation. Springer 1991

|