Naproche - Natural Language Proof Checking
"; ?>

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:

Voraussetzungen

Kontakt

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

Last changed:26 November 2009