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

Vorlesungen



Programming Languages
Dozent:Prof. Dr. Helmut Seidl, Dr. Michael Petter
Ort/Zeit:
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.
Functional Programming and Verification
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Friday, 08:15 - 09:45 / MW 0001 Gustav-Niemann-Hörsaal
ModulNummer:IN0003
Beschreibung:    This lecture introduces the basic concepts of functional programming by the example of the OCaml language. Furthermore, techniques to prove properties of imperative and functional programs are taught.
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 6 ms