118.131 AKLOG. Beweistheorie 1
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage zum selbständigen Wissenserwerb aus der Literatur.

Zu den Inhalten der Lehrveranstaltung zählen:

Schnittelimination von LK/LJ

Theorem von Herbrand

Interpolation

Inhalt der Lehrveranstaltung

Die Vorlesung folgt dem 1.Kapitel von Takeuti: Proof Theory und den Veröffentlichungen des Vortragenden.

Methoden

Vorträge des Lehrenden und Diskussionen mit den Studenten.

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.17:00 - 19:0018.10.2021 Besprechungsraum des Instituts für Diskrete Mathematik, FH, DA05 C22Vorbesprechung

Leistungsnachweis

Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
19.10.2021 08:00 06.11.2021 08:00 06.11.2021 08:00

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Beweistheorie 119.10.2021 08:0006.11.2021 08:00

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

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch