Das Student-Self-Service ist auf Grund eines technischen Problems derzeit nur eingeschränkt verfügbar. Wir bitten um Ihr Verständnis.

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.

2022W, 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
Di.17:00 - 19:0004.10.2022 Besprechungsraum des Instituts für Diskrete Mathematik, FH, DA05 C22Vorbesprechung

Leistungsnachweis

Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
18.10.2022 08:00 05.11.2022 08:00 05.11.2022 08:00

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Beweistheorie 118.10.2022 08:0005.11.2022 08:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch