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

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
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

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