Professur für Grundlagen der Informatik
| |
GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"
S; Di, 16:00 - 18:00, F21/061
|
Mendler, M.
Sticht, M.
|
| |
GdI Seminar in Advanced Functional Programming
S; 2 SWS; Mo, 14:00 - 16:00, FMA/008, (außer Mo 9.7.2012); Einzeltermin am 20.7.2012, 14:00 - 18:00, F21/061
|
Scheele, S.
|
| |
GdI-CaC-M: Theorie verteilter Systeme
V/Ü; 4 SWS; Fr, 8:30 - 10:00, FMA/119; Fr, 12:00 - 14:00, F21/381; Einzeltermin am 25.6.2012, 12:00 - 14:00, F21/380; Einzeltermin am 25.6.2012, 14:00 - 16:00, KÄ7/01/112; Start of Classes: Friday, 27.4.2012, 12:15 hrs in F381
|
Mendler, M.
|
| |
GdI-GTI-B: Grundlagen der Theoretischen Informatik
V; 2 SWS; Di, 12:00 - 14:00, F21/384
|
Mendler, M.
|
| |
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
Ü; 2 SWS; Do, 14:00 - 16:00, F21/381; Mi, 18:00 - 20:00, FMA/006; Einzeltermin am 26.4.2012, 14:00 - 16:00, KÄ7/00.108; Einzeltermin am 6.7.2012, 14:00 - 16:00, FMA/006; Einzeltermin am 23.8.2012, 13:00 - 15:00, F21/381
|
Mendler, M.
Sticht, M.
|
| |
GdI-SaV-B: Logik
V; 2 SWS; Mi, 10:00 - 12:00, F21/384
|
Mendler, M.
|
| |
GdI-SaV-B: Logik
Ü; 2 SWS; Do, 8:30 - 10:00, F21/384; Einzeltermin am 26.4.2012, 8:30 - 10:00, KÄ7/00.108; Einzeltermin am 21.8.2012, 16:00 - 18:00, FMA/006
|
Mendler, M.
|
| |
Übung MaL
TU; Di, 8:00 - 10:00, F21/303; Di, 16:00 - 18:00, FMA/119
|
Scheele, S.
|
| |
UniTag
SL; Einzeltermin am 11.5.2012, 8:00 - 13:00, F21/303; Einzeltermin am 11.5.2012, 14:00 - 16:00, RZ/00/005
|
N.N.
|
|