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

Lehrveranstaltungen im Sommersemester 2020

 
Vorlesung Einführung in die formale Logik für IMP

Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303 digital

Prof. Dr. Nicole Schweikardt

Übung: Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'103 digital

Ph. D. Markus Schmid

 

Vorlesung Logik und Komplexität

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

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

Prof. Dr. Nicole Schweikardt

Übung: Dienstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'106 digital

Jens Keppeler und Prof. Dr. Nicole Schweikardt

 

Vorlesung Einführung in die Beweiskomplexität

Dienstag, 9-11, Schrödinger-Zentrum (RUD26), Raum 1'303

Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307

Prof. Dr. Christoph Berkholz

Übung: Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307

 
Vorlesung Lineare Optimierung

Montag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'303

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

PD Dr. Louchka Popova-Zeugmann

Übung: Montag, 09-11, Schrödinger-Zentrum (RUD26), Raum 1'303

PD Dr. Louchka Popova-Zeugmann

 
Vorlesung Angewandte Mathematik für die Informatik

Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115

Donnerstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115

PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler

Übung: Dienstag, 09-11, Schrödinger-Zentrum (RUD26), Raum 1'306

           Mittwoch, 09-11, Johann von Neumann-Haus (RUD25), Raum 3.101

           Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'306

           PD Dr. Louchka Popova-Zeugmann / PD Dr. Wolfgang Kössler

 
Seminar Beweiskomplexität

Blockseminar, Raum 3.408

Prof. Dr. Christoph Berkholz

 

Seminar Aktuelle Themen in Logik und Komplexität

Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3.408

Dr. Markus Schmid