185.A60 Higher-order Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2014S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Getting acquainted with strong logical formalisms, their theoretical properties and limits and their use for modeling and specification in computer science

Inhalt der Lehrveranstaltung

Limits of first-order definability, syntax and semantics of second-order logic, expressive power of second-order logic, second-order arithmetic, simple type theory, typed lambda calculi, interactive theorem proving in higher-order logic

Vortragende Personen

  • Woltzenlogel-Paleo, Bruno

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.08:00 - 10:0004.03.2014 - 24.06.2014Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Higher-order Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.04.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.11.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.18.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.25.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.01.04.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.08.04.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.13.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.20.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.27.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.03.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.17.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Di.24.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics

LVA-Anmeldung

Von Bis Abmeldung bis
12.12.2013 00:00 30.06.2014 23:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 931 Computational Intelligence Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

This is an advanced course in logic. Firm knowledge of classical first-order logic (formulas, models, proofs) is a prerequisite.

Weitere Informationen

Sprache

Englisch