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.

2023W, 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
Mon17:00 - 19:0009.10.2023 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
17.10.2023 08:00 04.11.2023 08:00 04.11.2023 08:00

Group Registration

GroupRegistration FromTo
Beweistheorie 117.10.2023 08:0004.11.2023 08:00

Curricula

Literature

No lecture notes are available.

Language

English