118.051 Seminar in Logic
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, SE, 2.0h, 3.0EC
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Learning outcomes

After successful completion of the course, students are able to...Diese LVA dient der Vorbereitung der Studierenden  zum selbständigen Wissenserwerb aus der Literatur. Die Inhalte der Lehrveranstaltung werden mit den Studenten zu Beginn dieser festgelegt.

Da laut Verfassung die Wissenschaft und ihre Lehre frei sind, können die Lehrinhalte jederzeit im Abstimmung mit den Studenten während der LVA verändert werden. Es erübrigt sich daher, im vorhinein Lernergebnisse festzulegen.

Subject of course

The participants lecture about most recent results in proof theory, also from their own scientific publications.

Teaching methods

The participants lecture about most recent results in proof theory, also from their own scientific publications.

Mode of examination

Immanent

Additional information

Zeit und Ort nach Übereinkunft

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

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

The participants lecture about most recent results in proof theory, also from their own scientific publications.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

German