Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre login

Lehre





Sommersemester 18
Vorlesungen
Praktika
IoT - Aufbau eines Sensornetzwerks
Dozent:Vogler R., Hartmann N., Kranz J.
Ort/Zeit:12/2017 bis 04/2018
ModulNummer:
Beschreibung:    In diesem Praktikum soll ein Sensor-Netzwerk gemeinsam entworfen und aufgebaut werden.
Seminare
Wintersemester 17/18
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.
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
Sommersemester 17
Vorlesungen
Automata Theory 2
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Seminar Room 02.07.014, Thur. 10-12, Exercises Room 01.07.014, Wed. 9:30-11
ModulNummer:IN2042
Beschreibung:    Advanced automata models for program analysis and XML processing.
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:MI HS 2 Thursdays 14:15-15:45
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Virtuelle Maschinen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Room 00.13.009A, Mon. 10-12 and Tue. 10-12
ModulNummer:IN2040
Beschreibung:    Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language.
Praktika
Lab Course Cobol & Eclipse
Dozent:Dr. Michael Petter
Ort/Zeit:Seminarraum 02.07.034 in a block of 20 days
ModulNummer:IN0012, IN2106, IN4018
Beschreibung:    We will integrate a Cobol Frontend into Eclipse to come up with semantical analyses on Cobol Code.
Seminare
C++ Tomorrow
Dozent:Nico Hartmann
Ort/Zeit:Final Presentations: June 7 & 8, 2017
ModulNummer:IN0014, IN2107
Beschreibung:    In this seminar we will discuss the ongoing evolution of the C++ programming language.
The Rust Programming Language
Dozent:Julian Kranz
Ort/Zeit:Blockveranstaltung
ModulNummer:IN0013
Beschreibung:    Proseminar
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 7 ms