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

2020S, VO, 2.0h, 3.0EC

Properties

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

Learning outcomes

After successful completion of the course, students are able to understand proof theory.

Proof theory consists of numerous individual aspects; nevertheless each for itself is useless and only the overall context of importance.

The lecture material will be dynamicly compiled with the students; that is why - in contrast with TU policies - no teaching content can be specified beforehand.

As in accordance with the Austrian constitution, scientific teaching as well as science itself is fre.

Therefore, the content of teaching - in agreement with the participating students- can be adjusted at any time throughout the duration of the lecture.

Subject of course

Methods of Cut-Elimination (Cut-Elimination is the most important proof transformation)

Teaching methods

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Mode of examination

Oral

Lecturers

Institute

Course dates

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

Examination modalities

Positive Absolvierung einer mündlichen Prüfung.

Course registration

Not necessary

Curricula

Literature

Tait, W. W. "Normal derivability in classical logic"  in The Syntas and Semantics of Infinitary Languages

Springer Berlin, 1968, 72, 204-236

Eine Kopie dieses Artikels wird in VO ausgeteilt.

Language

German