Prof. Dr.-Ing. Uwe Nestmann

Uwe

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

work Franklinstrasse 28-29
Sekr FR 6-2
10587 Berlin

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

Homepage

Lehrveranstaltungen von Prof. Dr.-Ing. Uwe Nestmann

Veranstaltung Umfang Beschreibung Bewertungen
MTV1: Algebraische Prozeßkalküle
Integrierte Veranstaltung
4 SWS Dies ist die Nachfolgeveranstaltung des Kurses "Theorie Verteilter Systeme 1: Algebraische Prozeß... mehr » 6
MTV2: Theorie Verteilter Algorithmen
Integrierte Veranstaltung
4 SWS
6 CP
Um Verwechslungen mit den Veranstaltungen der Fachgebiete KBS und CIT zum Thema "Verteilte System... mehr » 7
MTV3: Temporallogik (für Softwareingenieure)
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. Basismathe... mehr »
13
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