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

Lehrveranstaltungen im Wintersemester 2021/22

 
Vorlesung Logik in der Informatik

Dienstag, 11-13,  digital

Donnerstag, 11-13,  digital

Prof. Dr. Nicole Schweikardt

Übungen (in Präsenz): 

Montag, 15-17 bei Benjamin Hauskeller, RUD26 1.303

Montag, 15-17 bei Dr. André Frochaux, RUD26 1.306

Mittwoch, 11-13 bei Benjamin Hauskeller, RUD26 1.303

Mittwoch, 11-13 bei Dr. André Frochaux, RUD26 1.306

Übungen:  digital

Freitag, 09-11 bei Benjamin Hauskeller

Freitag, 09-11 bei Dr. André Frochaux

Prolog-Übung: digital

Donnerstag 9-11 bei Dr. André Frochaux

 

Seminar Komplexität Boolescher Funktionen

Blockseminar

Prof. Dr. Christoph Berkholz

 

Vorlesung Constraint Satisfaction: Algorithms and Complexity

Dienstag, 11-13,  RUD26 1.305 (VL)

Donnerstag, 11-13, RUD26 1.305 (VL+UE)

Prof. Dr. Christoph Berkholz