Praktikum Mathematische Logik

Das Naproche-Team bietet regelmässig ein Programmier-Praktikum an.

Das Naproche-Projekt

Das Naproche-Projekt untersucht den Zusammenhang zwischen formalen und informellen Beweisen. Ein Hauptbestandteil unserer Arbeit ist die Entwicklung des Naproche-Systems. Dabei handelt es sich um ein Computer-System, das natürlichsprachliche mathematische Texte auf logische Korrektheit überprüft.

Das Praktikum

Du wirst in unserer Forschungsgruppe mitarbeiten und dabei helfen, das Naproche-System weiter zu entwickeln. Tätigkeiten sind unter anderem:

• Erwerb von Grundkenntnissen in Logik und Computerlinguistik
• Logisches Programmieren in Prolog
• Software-Entwicklung
• Recherche
• Dokumentation und Präsentation

Voraussetzungen

• Grundkenntnisse zur mathematischen Logik
• Allgemeine Programmier-Erfahrung

Kontakt

Interessierte melden sich bitte bei Marcos Cramer: cramer (at) math.uni-bonn.de.