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

Vorlesung Einführung in die formale Logik für IMP

Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1´303

Prof. Dr. Nicole Schweikardt

Übung: Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1´303

Benjamin Scheidt

Vorlesung Ausgewählte Kapitel der Logik: klassische Resultate

Dienstag, 13-15, Schrödinger Zentrum (RUD26), Raum 1´303

Donnerstag, 09-11,Schrödinger Zentrum (RUD26), Raum 1´305

Prof. Dr. Nicole Schweikardt

Übung: Dienstag, 15-17, Schrödinger Zentrum (RUD26), Raum 1´303

Benjamin Hauskeller

Seminar Probabilistische Datenbanken

Vorbesprechung 29.04.2022, Block 24.06.2022 und 01.07.2022

Prof. Dr. Christoph Berkholz

Vorlesung Einführung in die Datenbanktheorie

Montag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'307

Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305

Dr. André Frochaux

Übung: Montag, 13-15, Schrödinger-Zentrum (RUD26), Raum 1'307

Dr. André Frochaux

Seminar Aktuelle Themen der Theoretischen Informatik

Mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3.408

Dr. André Frochaux