Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Lehrveranstaltungen im Wintersemester 2019/20

 

Vorlesung Ausgewählte Kapitel der Logik: Lokalität

Dienstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305

Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305

Prof. Dr. Nicole Schweikardt

 

Vorlesung Logik in der Informatik

Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305

Donnerstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305

Prof. Dr. Nicole Schweikardt

 

Seminar Perlen der Theoretischen Informatik

Blockseminar, Raum 3.408

Prof. Dr. Nicole Schweikardt, Dr. Markus Schmid

 

Seminar Aktuelle Themen der Theoretischen Informatik

Mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3.408

Prof. Dr. Christoph Berkholz