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

2011S, PR, 8.0h, 12.0EC

Properties

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

Aim of course

Understanding the theoretical foundations, methods, design, algorithmic realization and application of selected (semi-)automated reasoning systems in computational logic

 

 

Subject of course

Theoretical foundations, algorithmic realization, system design, implementation and application of of selected (semi-)automated reasoning systems in computational logic

Examples:  CERES (Cut Elimination by RESolution) , VMTL (Vienna Modular Termination Laboratory)

Additional information

For details of the course we refer to its homepage

Lecturers

Institute

Examination modalities

Proof of accomplishment of indiviually agreed upon project goals

Course registration

Not necessary

Curricula

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

Literature

No lecture notes are available.

Previous knowledge

Depends on the individually selected or agree upon project

Miscellaneous

Language

English