TU Wien:Higher Order Logic VU (Hetzl)

Aus VoWi
Wechseln zu: Navigation, Suche


Daten[Bearbeiten]

Inhalt[Bearbeiten]

  • Second Order Logic
    • Definability in FOL/Second Order Logic
    • Second Order Arithmetic
    • Inductive Definitions
  • Higher Order Logic
    • Lambda Calculus
    • Henkin Completeness

Ablauf[Bearbeiten]

Wöchentliche Vorlesung, 3 Übungsrunden

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

Grundlegende Logikkenntnisse (FOL)

Vortrag[Bearbeiten]

noch offen

Übungen[Bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten]

Auch Beweise werden gefragt, die Prüfung orientiert sich stark am Skriptum

Dauer der Zeugnisausstellung[Bearbeiten]

noch offen

Zeitaufwand[Bearbeiten]

angemessen

Unterlagen[Bearbeiten]

noch offen

Tipps[Bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen