118.131 Proof Theory 1
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024W, VO, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to independently acquire findings in relevant literature.

This course deals with:

Cut-elimination of LK/LJ

Theorem of Herbrand

Interpolation

 

 

Subject of course

The lecture is presented according to Takeuti: Proof Theory and the publications of the lecturer.

Teaching methods

Vorträge des Lehrenden und Diskussionen mit den Studenten.

Mode of examination

Oral

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue17:00 - 19:0008.10.2024 Meeting room of the institute, Freihaus, green area, 5th floorPreliminary meeting

Examination modalities

Absolvierung einer mündlichen Prüfung.

Course registration

Begin End Deregistration end
15.10.2024 08:00 02.11.2024 08:00 02.11.2024 08:00

Group Registration

GroupRegistration FromTo
Beweistheorie 115.10.2024 08:0002.11.2024 08:00

Curricula

Literature

No lecture notes are available.

Language

English