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

Vorlesung Logik in der Informatik

Dienstag 09-11, RUD26 0'115

Donnerstag 11-13, RUD26 0'115

Prof. Dr. Nicole Schweikardt

Übungen (chronologisch): 

Montag 15-17 bei Dr. André Frochaux, RUD26 1'305

Montag 15-17 bei M.Sc. Johannes Friedrich Lange RUD26 1'306

Dienstag 11-13 bei Dr. André Frochaux RUD26 1'305

Dienstag 11-13 bei M.Sc. Benjamin Scheidt RUD26 1'306

Freitag 09-11 bei M.Sc. Benjamin Scheidt, RUD26 1'305

Freitag 09-11 bei M.Sc. Johannes Friedrich Lange RUD26 1'306

Prolog-Übung:

Dienstag 13-15 bei Dr. André Frochaux, Johann von Neumann-Haus (RUD25) 3'213

Donnerstag 9-11 bei Dr. André Frochaux, Johann von Neumann-Haus (RUD25) 3'213

Vorlesung Logik und Komplexität

Dienstag 15-17, RUD26 1'306

Donnerstag 15-17, RUD26 1'306

Prof. Dr. Nicole Schweikardt

Übung:

Donnerstag: 13-15, RUD26 1'306 bei M.Sc. Benjamin Scheidt

Seminar Weitere Kapitel der Logik: klassische Resultate

Mittwoch: 13:30-15, RUD25, Raum 3'408

Prof. Dr. Nicole Schweikardt

Logik-Programmierung und Prolog für IMP-Wechselnde

Mittwoch: 9-11, RUD25, Raum 3'213

Dr. André Frochaux