Introduction to Informatics 2

Dozent: Prof. Dr. Helmut Seidl Ort/Zeit: Gustav-Niemann-Hörsaal, Fridays 8:25-9:55 ModulNummer: IN0003 Beschreibung:     Verification of programs + Functional programming in Ocaml

Inhalt

• Korrektheit imperativer Programme
• Grundbegriffe funktionalen Programmierens mit Ocaml
  • Werte, Variablen, Funktionen
  • Datenstrukturen, Pattern Matching
  • Höhere Funktionen
  • Polymorphe Typen
  • Schlangen
• Programmieren im Großen: Strukturen und Funktoren
• Korrektheit funktionaler Programme
• Nebenläufigkeit mit Kanälen und Rendezvous.
  

Übungsleitung (Mails an info2@in.tum.de):  Julian Kranz, Julian Brunner, Nico Hartmann

Übungswebseite: https://www.moodle.tum.de/course/view.php?id=28866

Klausuren:

• Klausur: Mo. 20.02.2017 (16 bis 18 Uhr)
• Wiederholungsklausur: Fr. 07.04.2017 (13:30 bis 15:30 Uhr)

Haben Sie Fragen? Schauen Sie auf Piazza vorbei!

Download der Vorlesungsfolien

Aufzeichnungen der Vorlesung

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