Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

Lehrveranstaltungen im Wintersemester 2014/15


Vorlesung Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Vorlesung:
Mittwochs 09-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 0'110 und
Freitags 13-15 im Schrödinger-Zentrum, Raum 0'115
Übungen zur Vorlesung:
Montags 11-13, Schrödinger-Zentrum, Raum 0'313, bei André Frochaux
Montags 15-17, Schrödinger-Zentrum, Raum 1'306, bei André Frochaux sowie
Dienstags 09-11, Schrödinger-Zentrum, Raum 1'307, bei Joachim Bremer sowie
Dienstags 13-15, Schrödinger-Zentrum, Raum 1'305, bei Lucas Heimberg sowie
Mittwochs 11-13, Schrödinger-Zentrum, Raum 1'303, bei Joachim Bremer
Prolog-Praktikum:
Dienstags 15-17, Johann von Neumann-Haus, Raum 3'213, bei Lucas Heimberg
Freitags 11-13, Johann von Neumann-Haus, Raum 3'213, bei Lucas Heimberg
 
Vorlesung Zeit und Petrinetze
PD. Dr. Louchka Popova-Zeugmann
Vorlesung:
Montags 11-13 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'305 und
Mittwochs 13-15 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'305
Übungen zur Vorlesung:
Montags 13-15 Raum RUD26, 1'305 bei PD. Dr. Louchka Popova-Zeugmann
 
Proseminar Models for current systems
PD. Dr. Louchka Popova-Zeugmann
Mittwochs 09-11 im Schrödinger-Zentrum (Rudower Chaussee 26), Raum 1'307
 
Seminar Aktuelle Themen der Theoretischen Informatik
Prof. Dr. Nicole Schweikardt
Mittwochs 13-15 im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408
 


Lehrveranstaltungen in früheren Semestern

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: Sep 09 2014
PK
Valid HTML 4.01!