Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 17/18 login

Wintersemester 17/18



Vorlesungen
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
Programming Languages
Dozent:Prof. Dr. Helmut Seidl, Dr. Michael Petter
Ort/Zeit:HS 2, Wednesdays 14:15-16:00 and Tutorial: Fridays 08:30-10:00 HS 2
ModulNummer:IN2113
Beschreibung:    We are discussing various advanced programming paradigms illustrated by a number of real programming languages such as e.g. Smalltalk, Java, C/C++ and others.
Praktika
Compiler Construction - Eclipse & CUP
Dozent:Dr. Michael Petter
Ort/Zeit:02.07.034 Seminar room, en bloque
ModulNummer:IN2106 & IN0012
Beschreibung:    We improve the CUP Eclipse plugin
Seminare
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 6 ms