TU Wien:Higher Order Logic VU (Hetzl)

From VoWi
Jump to navigation Jump to search
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[edit | edit source]

Lecturers Stefan Hetzl
ECTS 3
Department Diskrete Mathematik und Geometrie
When summer semester
Links Homepage
Zuordnungen
Master Logic and Computation Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME


Inhalt[edit | edit source]

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

Ablauf[edit | edit source]

Wöchentliche Vorlesung, 3 Übungsrunden

Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]

Grundlegende Logikkenntnisse (FOL)

Vortrag[edit | edit source]

noch offen

Übungen[edit | edit source]

noch offen

Prüfung, Benotung[edit | edit source]

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

Dauer der Zeugnisausstellung[edit | edit source]

noch offen

Zeitaufwand[edit | edit source]

angemessen

Unterlagen[edit | edit source]

noch offen

Tipps[edit | edit source]

noch offen

Verbesserungsvorschläge / Kritik[edit | edit source]

noch offen

Attachments

This page has no attachments yet but you can add some.
Retrieved from "https://vowi.fsinf.at/index.php?title=TU_Wien:Higher_Order_Logic_VU_(Hetzl)&oldid=121612"