Praktikum Mathematische Logik

Organizer

• Prof. Dr. Peter Koepke
• Marcos Cramer
• Daniel Kühlwein

Time and Location

Summer 09, Be4 Room 42

Topics

You will join the Naproche team and help develop the Naproche system .
Tasks include:

• Programming
• Improvement and expansion of the Naproche CNL
• Research and Presentations
• Documentation and Tests
• ...

We are looking for students who have

• A basic understanding of mathematical logic
• Programming experience, preferably Prolog
• Basic knowledge of Discourse Representation Theory

If you are interested, send your application to Prof. Koepke.