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.

2020W, 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
Sat10:00 - 16:0031.10.2020Sem.R. DA grün 05 Proof Theory 1
Sat10:00 - 16:0028.11.2020Sem.R. DA grün 05 Proof Theory 1

Examination modalities

Absolvierung einer mündlichen Prüfung.

Course registration

Begin End Deregistration end
20.10.2020 08:00 07.11.2020 08:00 07.11.2020 08:00

Group Registration

GroupRegistration FromTo
Beweistheorie 120.10.2020 08:0007.11.2020 08:00

Curricula

Literature

No lecture notes are available.

Language

English