118.211 AKLOG: Beweistheorie 2
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Weiterführende Techniken der Beweistheorie und der Analyse von Beweisen.

Inhalt der Lehrveranstaltung

Methoden der Schnittelimination (Schnittelimination stellt die wichtigste Beweistransformation dar)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 18:3005.03.2019 Besprechungsraum 5. Stock, grüner TurmVorbesprechung

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Tait, W. W. "Normal derivability in classical logic"  in The Syntas and Semantics of Infinitary Languages

Springer Berlin, 1968, 72, 204-236

Eine Kopie dieses Artikels wird in VO ausgeteilt.

Sprache

Deutsch