104.571 AKLOG
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, SE, 2.0h, 3.0EC

Properties

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

Learning outcomes

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

The primary purpose of this seminar is to get to know methods of scientific discourse such as indepedent reading, presentation and discussion of mathematical results in both written and in oral form. Beyond that, the seminar also provides an opportunity to get to know a topic in mathematical logic or theoretical computer science which goes beyond the areas covered by lectures.

Subject of course

We will read the book "Models of Peano Arithmetic" by R. Kaye together.

Teaching methods

Presentation and discussion

Mode of examination

Written and oral

Additional information

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
Fri13:00 - 14:3009.10.2020 Dissertantenraum (Freihaus, 8th floor, green area)Vorbesprechung
Fri13:00 - 14:3016.10.2020 - 22.01.2021 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
AKLOG - Single appointments
DayDateTimeLocationDescription
Fri09.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Vorbesprechung
Fri16.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri23.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri30.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri06.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri13.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri20.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri27.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri04.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri11.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri18.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri08.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri15.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge
Fri22.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8th floor, green area)Seminarvorträge

Examination modalities

Written seminar paper and oral presentation (on 1-2 chapters of the book)

Course registration

Begin End Deregistration end
01.09.2020 00:00 07.10.2020 23:59 07.10.2020 23:59

Registration modalities

Zwecks besserer Planbarkeit wird um (unverbindliche) Anmeldung in TISS gebeten.

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

A copy of Kaye's book will be provided.

Previous knowledge

Grundsätzlich richtet sich dieses Seminar an fortgeschrittene Studenten der Mathematik. Folglich werden Vorkenntnisse und eine mathematische Reife erwartet die in etwa einem einschlägigen Bachelor-Abschluss entsprechen.

Zur Lektüre des Buchs "Models of Peano Arithmetic" ist eine solide Grundlage in mathematischer Logik (wie sie z.B. in der VO+UE "Logik und Grundlagen der Mathematik" vermittelt wird) unabdingbar. Von Vorteil ist außerdem eine gewisse Erfahrung mit formalen Theorien der Arithmetik (wie man sie z.B. in der VO+UE "Die Gödelschen Unvollständigkeitssätze" macht).

Language

if required in English