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.

2017S, 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

Weitere Informationen

First meeting: Tuesday, 25 April 2017, 14:00, seminar room "Gödel".

In the first meeting I will give a brief overview of the course and discuss administrative and assessment details. The first lecture will be on Thursday, 27 April 2017, 14:00, seminar room "Gödel".

Vortragende

  • Ramanayake, Don Revantha Shiyan

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 15:3025.04.2017 - 27.06.2017Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.14:00 - 15:3027.04.2017 - 29.06.2017Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Higher-order Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.25.04.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.27.04.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.02.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.04.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.09.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.11.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.16.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.18.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.23.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.30.05.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.01.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.08.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.13.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.20.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.22.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.27.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Do.29.06.201714:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung

Leistungsnachweis

Three assignments

LVA-Anmeldung

Von Bis Abmeldung bis
15.12.2016 00:00 03.07.2017 23:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Logic and Computation

Literatur

- Stefan Hetzl: Higher-order logic. Lecture notes.*main reference*

- Stefan Hetzl: Mathematical Logic 2. Lecture notes.*Prerequisite material on first-order logic*

- Johan Van Benthem and Kees Doets. Higher-order logic. Book chapter. Handbook of Philosophical Logic. Vol. 164, pages 275-329.*

- Daniel Leivant: Higher-order Logic, Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994, pages 229-322.*

- Peter B. Andrews: An Introduction to Mathematical Logic and Type Theory: To Truth through Proof, Academic Press, 1986

- Dale Miller and Gopalan Nadathur: Programming with Higher-Order Logic, Cambridge University Press, 2012

- Chad E. Brown: Automated Reasoning in Higher-Order Logic, College Publications, 2007

- Henk Barendregt, Wil Dekkers and Richard Statman: Lambda Calculus with Types, 2013

-  Manzano: Extensions of first-order logic, 1996.

-  M.H. Sorensen and P. Urzyczyn: Lectures on the Curry-Howard Isomorphism, 2006

Vorkenntnisse

This is an advanced course in logic. Firm knowledge of classical first-order logic (formulas, models, proofs) is a prerequisite. In the first lecture I will overview the key concepts and definitions from first-order logic.

Sprache

Englisch