Professur für Grundlagen der Informatik
GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq" -
- Dozentinnen/Dozenten:
- Michael Mendler, Martin Sticht
- Angaben:
- [s]
- Termine:
- Di, 16:00 - 18:00, F21/061
|
GdI Seminar in Advanced Functional Programming -
- Dozent/in:
- Stephan Scheele
- Angaben:
- [s], 2 SWS
- Termine:
- Mo, 14:00 - 16:00, FMA/008
Einzeltermin am 20.7.2012, 14:00 - 18:00, F21/061
|
GdI-CaC-M: Theorie verteilter Systeme [GdI-CaC-M] -
- Dozent/in:
- Michael Mendler
- Angaben:
- [v/ü], 4 SWS
- Termine:
- 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
|
GdI-GTI-B: Grundlagen der Theoretischen Informatik -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2 SWS
- Termine:
- Di, 12:00 - 14:00, F21/384
|
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages) -
- Dozentinnen/Dozenten:
- Michael Mendler, Martin Sticht
- Angaben:
- Übung, 2 SWS
- Termine:
- 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
|
GdI-SaV-B: Logik -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2 SWS
- Termine:
- Mi, 10:00 - 12:00, F21/384
|
GdI-SaV-B: Logik -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2 SWS
- Termine:
- 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
|
Übung MaL -
- Dozent/in:
- Stephan Scheele
- Angaben:
- [tu]
- Termine:
- Di, 8:00 - 10:00, F21/303
Di, 16:00 - 18:00, FMA/119
|
UniTag -
- Dozent/in:
- N.N.
- Angaben:
- [sl]
- Termine:
- Einzeltermin am 11.5.2012, 8:00 - 13:00, F21/303
Einzeltermin am 11.5.2012, 14:00 - 16:00, RZ/00/005
|
|
|