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

Lehrveranstaltungen im WiSe 2024/25

 
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 M.Sc. Benjamin Scheidt, RUD26 1'305

Montag 15-17 bei M.Sc. Benjamin Hauskeller RUD26 1'306

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

Dienstag 11-13 bei Dr. André Frochaux 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 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 Ausgewählte Themen der Theoretischen Informatik: klassische Resultate

        Dienstag 15-17, RUD26 1'306

        Donnerstag 15-17, RUD26 1'306

        Prof. Dr. Nicole Schweikardt

        Übung:

        Mittwochs 15-17, RUD26 1'306

M.Sc. Benjamin Hauskeller

 

Seminar Weitere Kapitel der Automatentheorie

Blockseminar, Johann von Neumann-Haus (RUD25), Raum 3'408

 Dr. André Frochaux

 

Seminar Einführung in die axiomatische Mengenlehre

Mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3'408

Dr. André Frochaux