Project Group

Students will work on a project with the aim to achieve the module EMCL-P (Project) of the Master's Program in Computational Logic
The module requires the solution of a simple scientific problem from the field of Computational Logic including an oral and written presentation of the problem, the state of the art in the underlying sub-field and the proposed solution as well as its defense.
After completion of the module students are able to analyze a simple scientific problem, to relate the problem to the state of the art in the underlying sub-field, to solve the problem, to present the problem, the state of the art as well as the solution in written form as well as in an oral presentation, and to defend their claims.