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.

2019W, VO, 2.0h, 3.0EC

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage....Diese LVA dient der Vorbereitung der Studierenden  zum selbständigen Wissenserwerb aus der Literatur. Die Inhalte der Lehrveranstaltung werden mit den Studenten zu Beginn dieser festgelegt.

Da laut Verfassung die Wissenschaft und ihre Lehre frei sind, können die Lehrinhalte jederzeit im Abstimmung mit den Studenten während der LVA verändert werden. Es erübrigt sich daher, im vorhinein Lernergebnisse festzulegen.

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
Mi.17:00 - 18:0002.10.2019 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Vorbesprechung

Leistungsnachweis

Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch