185.A60 Higher-order Logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2014S, VU, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

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

Subject of course

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

Lecturers

  • Woltzenlogel-Paleo, Bruno

Institute

Course dates

DayTimeDateLocationDescription
Tue08:00 - 10:0004.03.2014 - 24.06.2014Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Higher-order Logic - Single appointments
DayDateTimeLocationDescription
Tue04.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue11.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue18.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue25.03.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue01.04.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue08.04.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue13.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue20.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue27.05.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue03.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue17.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics
Tue24.06.201408:00 - 10:00Seminarraum FAV 01 A (Seminarraum 183/2) Higher-Order Logics

Course registration

Begin End Deregistration end
12.12.2013 00:00 30.06.2014 23:00

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective

Literature

No lecture notes are available.

Previous knowledge

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

Miscellaneous

Language

English