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

Lehrveranstaltungen im Wintersemester 2022/23

 
Vorlesung Logik in der Informatik

Dienstag, 11-13,  RUD26 0.115

Donnerstag, 11-13,  RUD26 0.115

Prof. Dr. Nicole Schweikardt

Übungen : 

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

Freitag, 09-11 bei Benjamin Hauskeller, RUD26 1.305

Freitag, 09-11 bei Dr. André Frochaux, RUD26 1.306

Prolog-Übung:

Donnerstag 9-11 bei Dr. André Frochaux, RUD25 3.213

 

Vorlesung Diskrete Strukturen

Montag, 11-13, 14tgl./1   RUD26 0.115

Montag, 17-19,               RUD26 0.115

Prof. Dr. Nicole Schweikardt

Übungen : 

Gruppe 1 Mittwoch,     09-11 14tgl./1 Prof. Dr. Nicole Schweikardt, RUD26 1.305

Gruppe 2 Donnerstag, 13-15 14tgl./1 Benjamin Scheidt, RUD26 1.305

Gruppe 3 Freitag,        11-13 14tgl./1 Benjamin Scheidt, RUD26 1.303

Gruppe 4 Freitag,        13-15 14tgl./1 Benjamin Scheidt, RUD26 1.303

Gruppe 5 Mittwoch,     09-11 14tgl./2 Prof. Dr. Nicole Schweikardt, RUD26 1.305

Gruppe 6 Donnerstag, 13-15 14tgl./2 Benjamin Scheidt, RUD26 1.305

Gruppe 7 Freitag,        11-13 14tgl./2 Benjamin Scheidt, RUD26 1.303

Gruppe 8 Freitag,        13-15 14tgl./2 Benjamin Scheidt, RUD26 1.303