Lehrveranstaltungen im Wintersemester 2017/18
- Vorlesung Logik in der Informatik
- Prof. Dr. Nicole Schweikardt
- Vorlesung:
- dienstags 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115
donnerstags 15-17, Schrödinger-Zentrum (RUD26), Raum 0'115
- Übungen zur Vorlesung:
- montags 09-11, Schrödinger-Zentrum (RUD26), Raum 1'306, bei André Frochaux
- montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'303, bei Louchka Popova-Zeugmann
- montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306, bei Jens Keppeler
- dienstags 13-15, Schrödinger-Zentrum (RUD26), Raum 1'303, bei André Frochaux
- dienstags 13-15, Schrödinger-Zentrum (RUD26), Raum 0'310, bei Jens Keppeler
- freitags 09-11, Schrödinger-Zentrum (RUD26), Raum 0'313, bei Jens Keppeler
- Prolog-Übung:
- donnerstags 13-15, Johann von Neumann-Haus (RUD25), Raum 3.212,
bei André Frochaux
-
- Vorlesung Anfrageoptimierung in Datenbanksystemen — Theorie und Praxis
- Prof. Dr. Nicole Schweikardt und Prof. Johann-Christoph Freytag, Ph.D.
- Vorlesung:
- dienstags 13-15 im Schrödinger-Zentrum (RUD26), Raum 0'307,
- mittwochs 13-15 im Schrödinger-Zentrum (RUD26), Raum 1'303,
-
- Vorlesung Zeit und Petrinetze
- PD Dr. Louchka Popova-Zeugmann
- Vorlesung:
- montags 13-15 im Schrödinger-Zentrum (RUD26), Raum 1'307,
- mittwochs 09-11 im Schrödinger-Zentrum (RUD26), Raum 1'307,
- Übungen zur Vorlesung:
- mittwochs 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307, bei PD Dr. Louchka Popova-Zeugmann
-
- Seminar Aktuelle Themen in Logik und Komplexität
- Prof. Dr. Nicole Schweikardt
- mittwochs 15-17 im Johann von Neumann-Haus (RUD25),
Raum 3.408
-
Lehrveranstaltungen in früheren Semestern
Sommersemester 2017
Wintersemester 2016/17
Sommersemester 2016
Wintersemester 2015/16
Sommersemester 2015
Wintersemester 2014/15
Sommersemester 2014
Wintersemester 2013/14
Sommersemester 2013
Wintersemester 2012/13
Sommersemester 2012
Wintersemester 2011/12
Sommersemester 2011
Wintersemester 2010/11
Sommersemester 2010
Wintersemester 2009/10
Sommersemester 2009
Wintersemester 2008/09
Sommersemester 2008
Wintersemester 2007/08
Sommersemester 2007
Wintersemester 2006/07
Sommersemester 2006
Wintersemester 2005/06
Sommersemester 2005
Wintersemester 2004/05
Sommersemester 2004
Wintersemester 2003/04
