Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Cours "Calcul des Constructions Inductives"

Cours de Calcul des Constructions Inductives

Cette page est consacrée au cours d'option "Calcul des Constructions Inductives", du DEA Sémantique,Preuves et Programmation. Elle regroupe les notes de cours,exercices, ainsi que des pointeurs vers d'autres documents.

Les sujets de stages pour 2000.

Notes de cours

Le projet individuel: en ps gzippe.

Sémantique d'un petit langage en Coq; un exemple.

Autres Documents

Le cours de tronc commun de Gilles Dowek (postscript).
Les notes de cours de Benjamin Werner pour l'ENSTA: dvi et postscript.
Le tutorial Coq (dvi).
Le Manuel Coq (V6.2.3, en dvi), en postscript et en tar-file html (très pratique).
La page du système Coq.

La distribution Coq

Années précedentes

Le projet individuel 1999: en ps gzippe.
Le projet individuel 1998: en ps gzippe.
Les sujets d'examen en 1998 et 1999.

Christine Paulin et Benjamin Werner.