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

Lehre im SoSe 2021

Vorlesung Angewandte Mathematik für die Informatik

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

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

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

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

           Mittwoch, 09-11, Schrödinger-Zentrum (RUD26), Raum 1'305, digital

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

           Donnerstag, 15-17, Johann von Neumann-Haus (RUD25), Raum 3.101, digital

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

Seminar Analyse von nebenläufigen Systemen mittels Petri-Netzen

Blockseminar digital

PD Dr. Louchka Popova-Zeugmann

 

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

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

Prof. Dr. Christoph Berkholz

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

Prof. Dr. Christoph Berkholz

Seminar Einführung in die axiomatische Mengenlehre

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

Dr. André Frochaux