Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 08/09 Vorlesungen Einführung in die Informatik 2 login

Einführung in die Informatik 2

Dozent:Prof. Seidl
Ort/Zeit:Dienstags 16:00 -17:30 Uhr im HS 1
ModulNummer:IN0003
Beschreibung:    Verifikation und funktionale Programmierung
Übung zu Informatik 2 Übung zur Vorlesung 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:

Zusatzmaterialien:

Forum:

Infler


TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms