104.425 The Epsilon Calculus
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Online

Learning outcomes

After successful completion of the course, students are able to manage the Epsilon formulism; to prove the first and second Epsilon-theorem as well as to analyse the complexity and the consequence effectiveness of the Herbrand theorem.

Subject of course

Syntax of the epsilon calculus, epsilon theorems 1 and 2.

Teaching methods

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Mode of examination




Course dates

Tue17:00 - 19:0005.03.2024 Meeting room, Freihaus, green area, 5th floor, room no. DA05C22Preliminary discussion

Examination modalities

Positive Absolvierung einer mündlichen Prüfung.

Course registration

Not necessary


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


No lecture notes are available.


if required in English