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

Lehrveranstaltungen im WiSe 2023/24

 
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 M.Sc. Benjamin Scheidt, RUD26 1.305

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

Mittwoch, 11-13 bei M.Sc. Benjamin Scheidt RUD26 1.305

Mittwoch, 11-13 bei M.Sc. Benjamin Hauskeller, RUD26 1.306

Freitag, 09-11 bei M.Sc. Benjamin Scheidt, RUD26 1.305

Freitag, 09-11 bei M.Sc. Benjamin Hauskeller, RUD26 1.306

Prolog-Übung:

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

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

 

Vorlesung Einführung in die Datenbanktheorie

Dienstag,    15-17, Schrödinger-Zentrum (RUD26), Raum 1'306

Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306

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

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

Dr. André Frochaux

Mittwoch, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306

Prof. Dr. Nicole Schweikardt

 

Seminar Aktuelle Themen der Theoretischen Informatik: Logik und Komplexität

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

Prof. Dr. Nicole Schweikardt

 

Vorlesung Graph Decompositions

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

Donnerstag, 13-15 (14 tgl./1), Schrödinger-Zentrum (RUD26), Raum 1'307

Dr. Steffen van Bergerem

Übung: Donnerstag, 13-15 /14 tgl./2), Schrödinger-Zentrum (RUD26), Raum 1'307

Dr. Steffen van Bergerem

 

Seminar Perlen der Theoretischen Informatik

Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3.408

Prof. Dr. Nicole Schweikardt