Praktikum Mathematische Logik (Bachelor-Modul P2A1, 8LP, 240h)

Practical Project in Mathematical Logic (Master-Modul P4A1, 8LP, 240h)

In der Arbeitsgruppe Mathematische Logik ist ein Praktikumsplatz in dem Projekt

„Archiv der Deutschen Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)“

zu vergeben.

Die DVMLG wurde 1962 gegründet, zu einem Zeitpunkt, in dem es in den verschiedenen Teilbereichen der Mathematischen Logik entscheidende Durchbrüche gab, die die Entwicklung bis heute beeinflussen. In der Vereinsgeschichte spiegelt sich diese Entwicklung wider.

Ziel des Praktikums ist es, Materialien zur DVMLG zu sichten und zu ordnen, elektronisch zugänglich zu machen, und diese evtl. um Informationen über die beteiligten Personen, Orte und wissenschaftlichen Hintergründe zu ergänzen. Vorausgesetzt wird Grundwissen im Bereich der Mathematischen Logik, das einer Bachelor-Vorlesung Mathematische Logik oder Mengenlehre entspricht. Evtl. kann das Praktikum auch parallel zur laufenden Vorlesung Mathematische Logik durchgeführt werden. Die zu bearbeitenden Dokumente sind in Deutsch und in Englisch geschrieben.

Das Praktikum kann als Bachelor- oder Mastermodul durchgeführt werden, es soll im Sommersemester einschließlich der Semesterferien stattfinden.

Bei Interesse wenden Sie sich bitte an Prof. Dr. Peter Koepke, koepke@math.uni-bonn.de.