TU Wien:Higher Order Logic VU (Hetzl)

Aus VoWi
Zur Navigation springen Zur Suche springen
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.


Daten[Bearbeiten | Quelltext 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
Links Homepage
Zuordnungen
Masterstudium Logic and Computation


Inhalt[Bearbeiten | Quelltext bearbeiten]

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

Ablauf[Bearbeiten | Quelltext bearbeiten]

Wöchentliche Vorlesung, 3 Übungsrunden

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

Grundlegende Logikkenntnisse (FOL)

Vortrag[Bearbeiten | Quelltext bearbeiten]

noch offen

Übungen[Bearbeiten | Quelltext bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

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

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

angemessen

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.