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

Lehrveranstaltungen im Wintersemester 2020/21

 
Vorlesung Logik in der Informatik

Dienstag, 11-13,  digital

Donnerstag, 11-13,  digital

Prof. Dr. Nicole Schweikardt

Übungen:  digital

Montag, 15-17 bei PD Dr. Louchka Popova-Zeugmann

Montag, 15-17 bei Dr. André Frochaux

Mittwoch, 11-13 bei PD Dr. Louchka Popova-Zeugmann

Mittwoch, 11-13 bei Dr. André Frochaux

Donnerstag, 15-17 bei PD Dr. Louchka Popova-Zeugmann

Donnerstag, 15-17 bei Dr. André Frochaux

Prolog-Übung: Di 9-11 bei Dr. André Frochaux

 

Vorlesung Einführung in die Datenbanktheorie

Dienstag, 15-17,  digital

Donnerstag, 15-17,  digital

Prof. Dr. Nicole Schweikardt

Übung:  Mittwoch 9-11 digital

 

Seminar Kommunikationskomplexität

Blockseminar, digital

Prof. Dr. Christoph Berkholz