Theoretische Informatik
|
|
|
Beweistheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Di, 16:15 - 17:45, 04.125; Do, 16:00 - 17:30, 12.150
|
|
Degen, W.
|
|
|
|
|
Übungen zu Beweistheorie
UE; 2 SWS; ben. Schein; ECTS: 4; Fr, 9:15 - 10:45, 2.037
|
|
Weigand, U.
|
|
|
|
|
Clones: Netzwerke von Gattern zum Aufbau von Automaten, Gruppenpräsentationen und n-Kategorien
VORL; 4 SWS; ben. Schein; Zeit und Raum n.V.
|
|
Leeb, K.
|
|
|
|
|
Symbolische Algebra
VORL; 4 SWS; ben. Schein; ECTS: 8; ECTS-Credits nur in Verbindung mit der zugehörigen Übung! Insgesamt werden dann 8+4=12 Credits erreicht; Mo, 16:00 - 17:30, 05.150; Mi, 16:15 - 17:45, 2.038; Vorbesprechung: 4.11.1998, 16:00 - 17:00 Uhr, 05.150
|
|
Meyn, H.
|
|
|
|
|
Übungen zu Symbolische Algebra
UE; 2 SWS; ben. Schein; ECTS: 4; ECTS-Credits nur in Verbindung mit der Vorlesung "Symbolische Algebra". Gesamtcredit siehe dortige Bemerkung.; Zeit und Raum n.V.
|
|
Becker-Wenneker, M.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 12:15 - 13:45, 2.038; Di, 16:15 - 17:45, Raum n.V.
|
|
Müller, H.
|
|
|
|
|
Übungen zu Petrinetze
UE; 1 SWS; ECTS: 1,25; Fr, 9:15 - 10:00, 2.038
|
|
Kosmidis, K.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 12:15 - 13:45, 2.038; Di, 16:15 - 17:45, Raum n.V.
|
|
Müller, H.
|
|
|
|
|
VORL; 2 SWS; ben. Schein; Mi, 8:30 - 10:00, 2.037; Vorbesprechung: 4.11.1998, 8:30 - 10:00 Uhr, K1
|
|
Strehl, V.
|
|
|
|
|
V/UE; 2 SWS; ben. Schein; Do, 10:00 - 12:00, K1; Do, 15:00 - 16:00, E 1.10; ab 5.11.1998
|
|
Strehl, V.
|
|
|
