181.222 Project in computational logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020S, PR, 8.0h, 16.0EC


  • Semester hours: 8.0
  • Credits: 16.0
  • Type: PR Project

Learning outcomes

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.

Subject of course

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.

Teaching methods

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.

Mode of examination


Additional information

ECTS Breakdown:
10h meetings and presentations
290h individual project work
300h (12 ECTS)



Examination modalities

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.

Course registration

Not necessary


Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified


No lecture notes are available.