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

Vorlesung Einführung in die Datenbanktheorie

Dienstag 15-17, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306

Donnerstag 15-17, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306

Prof. Dr. Nicole Schweikardt, Dr. André Frochaux

Übungen

Mittwoch 09-11, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.306 bei Dr. André Frochaux

Mittwoch 09-11, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.307 bei M.Sc. Benjamin Scheidt

Vorlesung Ausgewählte Kapitel der Logik: Lokalität

Dienstag, 09-11, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.303

Donnerstag, 11-13, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.303

Prof. Nicole Schweikardt

Übung: Dienstag, 11-13, Erwin-Schrödinger-Zentrum (RUD26), Raum 1.303

M.Sc. Johannes Friedrich Lange

Seminar Aktuelle Themen in Logik und Komplexität

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

M.Sc. Charlotte Lenz

Logik-Programmierung und Prolog für IMP-Wechselnde

Mittwoch: 11-13, Johann von Neumann-Haus (RUD25), Raum 3.213

Dr. André Frochaux