Please be advised the lockingsystemintegration my not be available due to system maintenance. Please accept our apologies for any inconvenience.

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.

2022W, 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:0004.10.2022 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
18.10.2022 08:00 05.11.2022 08:00 05.11.2022 08:00

Group Registration

GroupRegistration FromTo
Beweistheorie 118.10.2022 08:0005.11.2022 08:00

Curricula

Literature

No lecture notes are available.

Language

English