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.

2018W, VU, 2.0h, 3.0EC

Properties

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

Aim of course

Deepening the understanding of inference in predicate logic by investigating Hilbert's epsilon calculus.

Subject of course

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu16:00 - 16:3011.10.2018 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Vorbesprechung

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.

Language

if required in English