Table of Contents
Fondements des systemes de preuves / Foundations of proof systems (24h, 3 ECTS)Responsable : Gilles Dowek LanguageThe course is in English. Teaching in 20182019ObjectivesThis course focuses on the notion of formal proof in mathematics and in informatics. It presents several logical theories, including type theories used in several proof systems such as Coq, Agda, HOL, Isabelle, PVS. In particular we will treat in depth the articulation between reasoning and computation. This course is a prerequisite to the course Assistants de preuve : principes et application à la preuve de programmes. When and where ?The lectures are each Wednesday from 8:45 to 12:00, in the Sophie Germain Building, room 1004 Schedule
No lectures on October 24th and November 7th ExamNovember 21st, 9h10h30, Sophie Germain Building, room 1003 Prerequisites
Bibliography
Lecture notes
Internships
Concept alignment in Logipedia
Past exams
Team
