Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 17/18 Vorlesungen Introduction to Informatics 2 - Functional Programming and Verification login

Introduction to Informatics 2 - Functional Programming and Verification

Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Freitag, 08:30 - 10:00 Uhr / MW 0001 Gustav-Niemann-Hörsaal
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: Nico Hartmann, Ralf Vogler

Wir suchen für den Übungsbetrieb noch Studentische Tutoren!

Übungswebseite:

Klausuren:

Literaturvorschläge

Aufzeichnungen:

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.
        

Zusatzmaterialien:



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