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.

2019S, PR, 8.0h, 16.0EC

Properties

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

Aim of course

To learn about techniques of automated proof transformations and semi-automated analysis of mathematical proofs.

Subject of course

The system CERES for automated cut-elimination by resolution. Extension of CERES by development of higher input- and output-languages, experiments with cut-elimination in mathematical proofs. Participants  have to attend the weekly meetings of the CERES project group

Additional information

details of the course can be found on www.logic.at/lvas/185302

Lecturers

Institute

Examination modalities

For successfully completing  the course the following is needed: (1) development of a program, (2) writing a report (about ten pages), (3) presentation of the work in a CERES project meeting.

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.

Miscellaneous

Language

English