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.

2021S, VU, 2.0h, 3.0EC

Properties

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

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

Oral

Lecturers

Institute

Examination modalities

Positive Absolvierung einer mündlichen Prüfung.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

if required in English