184.191 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.

2019W, PR, 8.0h, 16.0EC

Properties

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

Learning outcomes

After successful completion of the course, students are able to spoleve concrete tasks in subfields of computational logic. The solution of the tasks may require implementations, experiments or theoretical considerations.

Subject of course

Special topics from the areas of information systems, knowledge representation, deduction, mobile robots, logic programming, program synthesis and many more.

Teaching methods

Support in solving the task

Mode of examination

Written and oral

Lecturers

Institute

Examination modalities

Evaluation of the solution

Course registration

Registration modalities

Curricula

Literature

No lecture notes are available.

Miscellaneous

Language

German