Lehrveranstaltungen im Wintersemester 2015/16
- Vorlesung Logik in der Informatik
- Prof. Dr. Nicole Schweikardt
- Vorlesung:
- dienstags 15-17 im Johann von Neumann-Haus
(RUD25), Raum 3.001
donnerstags 13-15 im Johann von Neumann-Haus (RUD25), Raum 3.001
- Übungen zur Vorlesung:
- dienstags 13-15, Schrödinger-Zentrum (RUD26), Raum 0'310, bei PD. Dr. Louchka Popova-Zeugmann
- dienstags 13-15, Schrödinger-Zentrum (RUD26), Raum 0'313, bei Lucas Heimberg
- donnerstags 09-11, Schrödinger-Zentrum (RUD26), Raum 1'307, bei Joachim Bremer
- donnerstags 15-17, Schrödinger-Zentrum (RUD26), Raum 0'313, bei Joachim Bremer
- freitags 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305, bei Joachim Bremer
- freitags 11-13, Schrödinger-Zentrum (RUD26), Raum 1'306, bei André Frochaux
- Prolog-Übung:
- dienstags 09-11, Johann von Neumann-Haus (RUD25), Raum 3.213,
bei Lucas Heimberg
- mittwochs 15-17, Johann von Neumann-Haus (RUD25), Raum 3.213,
bei Lucas Heimberg
-
- Vorlesung Einführung in die Datenbanktheorie
- Prof. Dr. Nicole Schweikardt
- Vorlesung:
- mittwochs 11-13 im Schrödinger-Zentrum (RUD26), Raum 1'303,
donnerstags 09-11 im Schrödinger-Zentrum (RUD26), Raum 1'303
- Übungen zur Vorlesung:
- mittwochs 13-15, Schrödinger-Zentrum (RUD26), Raum 1'303, bei André Frochaux
- donnerstags 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303, bei André Frochaux
-
- Vorlesung Zeit und Petrinetze
- PD. Dr. Louchka Popova-Zeugmann
- Vorlesung:
- montags 11-13 im Schrödinger-Zentrum
(RUD26), Raum 1'307
- mittwochs 11-13 im Schrödinger-Zentrum
(RUD26), Raum 1'307
- Übungen zur Vorlesung:
- montags 13-15 im Schrödinger-Zentrum (RUD26), Raum 1'307
bei PD. Dr. Louchka Popova-Zeugmann
- mittwochs 13-15 im Schrödinger-Zentrum (RUD26), Raum 1'307
bei PD. Dr. Louchka Popova-Zeugmann
- Praktikum zur Vorlesung (fakultativ):
- Termin nach Vereinbarung.
-
- 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 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
Last modified: Aug 11 2015
PK
