Theoretische Informatik
|
Begriffsverbände
V/UE; 4 SWS; Schein; (Scheinerwerb durch aktive Teilnahme an den Übungen, benotet durch zusätzliches Kolloquium.); Zeit und Raum n.V.
|
|
König, R.
|
Beweistheorie
VORL; 4 SWS; Schein; Scheinerwerb (benotet und unbenotet) durch Klausur über den in den Übungen vertieften Stoff; Zeit und Raum n.V.
|
|
Degen, W.
|
Übungen zur Beweistheorie
UE; 2 SWS; Do, 14:00 - 16:00, 00.152
|
|
Becker-Wenneker, M.
|
Deskriptive Komplexitätstheorie
VORL; 4 SWS; Schein; (Scheinerwerb durch aktive Teilnahme an den Übungen); Zeit und Raum n.V.
|
|
Degen, W.
|
Übungen zu Deskriptive Komplexitätstheorie
UE; 2 SWS; Mo, 12:00 - 14:00, 2.037
|
|
Weigand, U.
|
Komplexität Boolescher Schaltkreise
V/UE; 4 SWS; Schein; In der Vorlesung kann ein (auch benoteter) Schein durch Teilnahme an den Übungen sowie ein Abschlußkolloquium erworben werden.; Zeit und Raum n.V.
|
|
Johannsen, J.
|
Komplexität rekurrenter Folgen
V/UE; 4 SWS; Di, 16:15 - 17:45, 05.150; Do, 8:30 - 10:00, 05.150
|
|
Meyn, H.
|
Petrinetze
V/UE; 4 SWS; ben. Schein; Di, 10:15 - 11:45, H10; Do, 10:15 - 11:45, H8
|
|
Müller, H.
|
Übungen zu Petrinetze
UE; 2 SWS; n.V.
|
|
Grillenbeck, R.
|