Prof. Dr.-Ing. Uwe Nestmann

Prof. Dr.-Ing. Uwe Nestmann
Informatik
TU Berlin
Modelle und Theorie Verteilter Systeme (MTV)

work Ernst-Reuter-Platz 7
Sekr TEL 7-2, Raum 710a
10587 Berlin

Telefon: work 030 314-73501
Fax: fax 030 314-73750

Homepage

Lehrveranstaltungen von Prof. Dr.-Ing. Uwe Nestmann

Veranstaltung Umfang Beschreibung Bewertungen
Algebraische Prozeßkalküle (AlgProCalc)
Integrierte Veranstaltung
4 SWS Dies ist die Nachfolgeveranstaltung des Kurses "Theorie Verteilter Systeme 1: Algebraische Prozeß... mehr » 6
Formale Sprachen und Automaten (FoSA)
Vorlesung + Übung/Tutorium
4 SWS
6 CP
In der neuen StuPO 14/15 des Bachelor Informatik ist dies das Erstsemestermodul im Theoriezuklus.... mehr » 1
Modelle und Theorie Verteilter Algorithmen (DistAlgo)
Integrierte Veranstaltung
4 SWS
6 CP
Um Verwechslungen mit den Veranstaltungen der Fachgebiete KBS und CIT zum Thema "Verteilte System... mehr » 7
Reaktive Systeme (ReSyst)
Vorlesung + Übung/Tutorium
4 SWS
6 CP
Das bisherige Modul TheGI4 (12/13 uns 13/14) nun ab 14/15 unter neuem Namen.

Teilnehmer_innen ... mehr »
0
Temporallogik, für Softwareingenieure (Tempo)
Integrierte Veranstaltung
4 SWS Dies ist die Nachfolgeveranstaltung der Kurse "Theorie Verteilter Systeme 2: Fehlertolerante Syst... mehr » 5
Theoretische Grundlagen der Informatik 1 (TheGI1)
Vorlesung + Übung/Tutorium
4 SWS
6 CP
[ab WiSe 0809]

Es geht um Mathematische Grundlagen für Informatiker in 3 Teilen:
1. Basism... mehr »
15
Theoretische Grundlagen der Informatik 2 (TheGI2)
Vorlesung + Übung/Tutorium
4 SWS
6 CP
Die erste Hälfte behandelt vor allem Automatenmodelle sowie Turingmaschinen, die zweite Hälfte ge... mehr » 28
Theoretische Grundlagen der Informatik 4 (TheGI4)
Vorlesung + Übung/Tutorium
4 SWS
6 CP
Pflichtmodul im 4. Semester des Bachelor Informatik, inhaltlich basierend auf der ersten Hälfte d... mehr » 0