Deutschland » Berlin » TU Berlin » Informatik » Prof. Dr.-Ing. Nestmann » Kurse
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
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 |