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

Vorlesungen



Einführung in die Informatik 2 - Funktionale Programmierung und Verifikation
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Freitag, 08:25 - 9:55 Uhr / MW 0001 Gustav-Niemann-Hörsaal
ModulNummer:IN0003
Beschreibung:    Die Veranstaltung gibt eine Einführung in die funktionale Programmierung mit OCaml, sowie die Verifikation von imperativen und funktionalen Programmen.
Programming Languages
Dozent:Prof. Dr. Helmut Seidl, Dr. Michael Petter
Ort/Zeit:HS 2, Wednesdays 14:00-15:30 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.
Program Optimization
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Room: 00.13.009A; Lecture: Mon. 12:15-13:45, Wed. 10:00-11:30, Exercises: Thu. 10:00-12:00,
ModulNummer:IN2053
Beschreibung:    This course is about standard techniques used to optimize general purpose programming languages. How to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit hardware.
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 5 ms