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

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