Rüdiger Valk: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
fsrwiki_>1illig K (s/HauptstudiumPNL/PNL/g) |
Malte (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Leiter des Arbeitsbereichs Theoretische Grundlagen der Informatik ([http://www.informatik.uni-hamburg.de/TGI/ TGI]). | Ehemaliger Leiter des Arbeitsbereichs Theoretische Grundlagen der Informatik ([http://www.informatik.uni-hamburg.de/TGI/ TGI]). | ||
Seit einiger Zeit im Ruhestand, liest aber noch [[FGI 2]] und andere Veranstaltungen des Arbeitsbereichs TGI. | |||
Las früher meist: | |||
* [[PNL|Prozesse und Nebenläufigkeit (PNL)]] | * [[PNL|Prozesse und Nebenläufigkeit (PNL)]] | ||
* [[HauptstudiumLOS|Logik und Semantik (LOS)]] | * [[HauptstudiumLOS|Logik und Semantik (LOS)]] | ||