After successful completion of the course, students are able to apply methods of computational logic to a given problem. They are able to analyze and formalize such problems and to select adequate methods for their solution.
The aims of the project are specified according to the individual interests of the students. The topics are usually related to the research areas of the group.
The students search for relevant methods in literature, determine their suitability for the problem at hand, and apply one or more of them to solve the chosen task. They document their work and present the results.
The students are evaluated individually according to the following criteria: quality of literature research, suitability of chosen approach, comprehensiveness and precision of project documentation and presentation, quality of results.
Not necessary