# 185.A60 Higher-order Logic This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2019S 2017S 2016S 2014S 2013S 2012S

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

## 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.

English