Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 16/17 Vorlesungen Introduction to Informatics 2 login

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 (10:30 bis 12:30 Uhr)

Haben Sie Fragen? Schauen Sie auf Piazza vorbei!

Download der Vorlesungsfolien

Aufzeichnungen der Vorlesung

Literaturvorschläge

Aufzeichnungen:

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.
        

Zusatzmaterialien:



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