TU Wien:Higher Order Logic VU (Hetzl)

Aus VoWi
Wechseln zu: Navigation, Suche


Daten[Bearbeiten]

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
Vortragende Stefan Hetzl
ECTS 3
Abteilung Diskrete Mathematik und Geometrie
Wann Sommersemester
Links Homepage
Zuordnungen
M. Logic and Computation Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME



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