Lehrveranstaltungen im Wintersemester 2019/20
- Vorlesung Logik in der Informatik
- Prof. Dr. Nicole Schweikardt
- Vorlesung:
- dienstags 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115
donnerstags 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115
- Übungen zur Vorlesung:
- montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'303, bei Jens Keppeler
- montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306, bei PD Dr. Louchka Popova-Zeugmann
- mittwochs 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303, bei Jens Keppeler
- mittwochs 11-13, Schrödinger-Zentrum (RUD26), Raum 1'306, bei PD Dr. Louchka Popova-Zeugmann
- donnerstags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'303, bei Jens Keppeler
- donnerstags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306, bei PD Dr. Louchka Popova-Zeugmann
- Prolog-Übung:
- dienstags 09-11, Johann von Neumann-Haus (RUD25), Raum 3.213,
bei Dr. André Frochaux
- donnerstags 09-11, Johann von Neumann-Haus (RUD25), Raum 3.213,
bei Dr. André Frochaux
-
-
- Vorlesung Ausgewählte Kapitel der Logik: Lokalität
- Prof. Dr. Nicole Schweikardt
- dienstags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305
- donnerstags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305
-
- Seminar Perlen der Theoretischen Informatik
- Prof. Dr. Nicole Schweikardt
- Dr. Markus Schmid
- Blockseminar,
Raum 3.408
-
-
- Seminar Aktuelle Themen der Theoretischen Informatik
- Dr. Christoph Berkholz
- mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3.408
-
Lehrveranstaltungen in früheren Semestern
Sommersemester 2019
Wintersemester 2018/19
Sommersemester 2018
Wintersemester 2017/18
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
