192.123 Seminar in Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021W, 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 mit induktiven Kalkülen in der Arithmetik umzugehen und wichtige beweistheoretische Prinzipien der Induktion zu erfassen.

Inhalt der Lehrveranstaltung

Genaue Analyse des papers von von J. Brotherston und A. Simpson ``Sequent calculi for induction and infinite descent'' und Verbindung zu standard Kalk"ulen der Arithmetik.

Methoden

Vorbereitung der Vorträge gemeinsam mit den Studierenden. Diskussion und Analyse der Vorträge. Präsentation weiterführender Themen durch die Lehrversnastaltungsleiter.

Prüfungsmodus

Schriftlich und Mündlich

Weitere Informationen

Die Vorbesprechung des Seminars findet am 6. Oktober 2021 im Seminarraum Gödel statt.

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
Mi.10:00 - 12:0006.10.2021 - 26.01.2022Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Seminar in Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.06.10.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Mi.13.10.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.20.10.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.27.10.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.03.11.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.10.11.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.17.11.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.24.11.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.01.12.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.15.12.202110:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.12.01.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.19.01.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar
Mi.26.01.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar

Leistungsnachweis

Bewertung der Vorträge und Mitarbeit der Studierenden.

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2021 00:00 12.10.2021 00:00 12.10.2021 00:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Fundierte Kenntnis der Prädikatenlogik

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch