104.571 AKLOG Seminar aus Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

Der Zweck dieses Seminars ist es Methoden des wissenschaftlichen Diskurses wie das eigenständige Erarbeiten, Präsentieren und Diskutieren von wissenschafltichen Resultaten in Wort und Schrift zu beherrschen. Darüber hinaus dient dieses Seminar zur Vorstellung eines Themenbereichs der mathematischen Logik oder theoretischen Informatik der über den durch Vorlesungen abgedeckten Bereich hinausgeht.

Inhalt der Lehrveranstaltung

Wir werden gemeinsam das Buch "Models of Peano Arithmetic" von R. Kaye lesen.

Methoden

Präsentation und Diskussion

Prüfungsmodus

Schriftlich und Mündlich

Weitere Informationen

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.13:00 - 14:3009.10.2020 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Vorbesprechung
Fr.13:00 - 14:3016.10.2020 - 22.01.2021 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
AKLOG Seminar aus Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.09.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Vorbesprechung
Fr.16.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.23.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.30.10.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.06.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.13.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.20.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.27.11.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.04.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.11.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.18.12.202013:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.08.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.15.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge
Fr.22.01.202113:00 - 14:30 Dissertantenraum (Freihaus, 8. Stock, grüner Bereich)Seminarvorträge

Leistungsnachweis

Schriftliche Arbeit und mündlicher Vortrag (über 1-2 Kapitel des Buchs)

LVA-Anmeldung

Von Bis Abmeldung bis
01.09.2020 00:00 07.10.2020 23:59 07.10.2020 23:59

Anmeldemodalitäten

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

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Eine Kopie des Buchs von R. Kaye wird zur Verfügung gestellt.

Vorkenntnisse

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

Sprache

bei Bedarf in Englisch