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.

2020W, VO, 2.0h, 3.0EC
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Sa.10:00 - 16:0031.10.2020Sem.R. DA grün 05 Beweistheorie 1
Sa.10:00 - 16:0028.11.2020Sem.R. DA grün 05 Beweistheorie 1

Leistungsnachweis

Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
20.10.2020 08:00 07.11.2020 08:00 07.11.2020 08:00

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Beweistheorie 120.10.2020 08:0007.11.2020 08:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch