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

2017W, SE, 2.0h, 3.0EC
Quinn ECTS Erhebung

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar

Ziele der Lehrveranstaltung

Beherrschung von Techniken des Lambda-Kalkuels und der Komputationalen Beweistheorie

Inhalt der Lehrveranstaltung

Typisierter Lambda-Kalkuel. Die Systeme T und F, intuitionistische Logik, Curry-Howard Isomorphismus, Peano Arithmetik und Heyting Arithmetik, Konsistenz der Peano Arithmetik und der Heyting Arithmetik

Weitere Informationen

Beginn am 10. Oktober 2017, 15:00 im Seminarraum Goedel, Favoritenstrasse 9, Erdgeschoss.

 


Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: https://www.tuwien.ac.at/fileadmin/t/ukanzlei/Lehre_-_Leitfaden_zum_Umgang_mit_Plagiaten.pdfBeachten 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
Di.15:00 - 17:0003.10.2017 - 23.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.10:00 - 12:0009.01.2018Seminarraum FAV EG B (Seminarraum von Neumann) Seminar aus Logik
Seminar aus Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.10.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.10.10.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.17.10.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.24.10.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.31.10.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.07.11.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.14.11.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.21.11.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.28.11.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.05.12.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.12.12.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.19.12.201715:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.09.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Seminar aus Logik
Di.09.01.201815:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.16.01.201815:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik
Di.23.01.201815:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar aus Logik

Leistungsnachweis

Um ein Zeugnis zu erwerben sind zwei Seminarvortraege notwendig.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
066 933 Information & Knowledge Management Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Gute Kenntnisse aus Logik, Grundkenntnisse des Lambda-Kalkuels

Sprache

Englisch