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.

2022S, 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 J. Krajicek: "Proof Complexity", Cambridge University Press, 2019 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:15 - 14:4511.03.2022 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorbesprechung
Fr.13:15 - 14:4518.03.2022 - 24.06.2022 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
AKLOG Seminar aus Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.11.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorbesprechung
Fr.18.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.25.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.01.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.08.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.29.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.06.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.13.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.20.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.03.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.10.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.17.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar
Fr.24.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichSeminar

Leistungsnachweis

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

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Eine Kopie des Buches 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 dieses Buches ist eine solide Grundlage in mathematischer Logik (wie sie z.B. in der VO+UE "Logik und Grundlagen der Mathematik" vermittelt wird) nützlich.

Sprache

bei Bedarf in Englisch