# 118.211 Proof Theory 2 This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});});

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.

Oral

## 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.

Not necessary

## 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.

German