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
  • Semantik
  • Verifikation

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

Aufzeichnungen:

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.

Skript:

• PDF

Zusatzmaterialien:

• OCaml Homepage
• Mit Windows Zugang zur Rechnerhalle: Putty für den Login, WinSCP für den Dateitransfer
• Elementare mathematisch-logische Grundlagen

Forum:

Infler