Lehre im SoSe 2023
Vorlesung Einführung in die formale Logik für IMP
Mittwoch, 11-13, Schrödinger-Zentrum (RUD26), Raum 1´303
Übung: Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1´303
Vorlesung Logik und Komplexität
Dienstag, 09-11, Schrödinger Zentrum (RUD26), Raum 1´306
Donnerstag, 11-13,Schrödinger Zentrum (RUD26), Raum 1´306
Übung: Dienstag, 11-13, Schrödinger Zentrum (RUD26), Raum 1´306
Seminar Weitere Kapitel der Logik: klassische Resultate
Mittwoch, 13-15, Johann von Neumann-Haus (RUD25), Raum 3.408
Seminar Einführung in die axiomatische Mengenlehre
Freitag, 09-11, Schrödinger Zentrum 26 (RUD26), Raum 1´307
Vorlesung Klassische Stringalgorithmik
Montag, 11-13, Schrödinger Zentrum (RUD26), Raum 1´306
Freitag, 09-11 14tgl./1,Schrödinger Zentrum (RUD26), Raum 1´303
Übung: Freitag, 09-11 14tgl./2 , Schrödinger Zentrum (RUD26), Raum 1´303