AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Thèmes Cursus Enseignants

Enseignant : Florent Becker

Page perso : http://perso.ens-lyon.fr/florent.becker/

Documents référencés

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône    ou   .

   Fondements de l'informatique  

Thèmes : Languages, Automates & Calculabilité, Logique & Preuve – Cursus : ENS-Lyon - L3  

   2006 - 2007, Semestre 2  

En cours.
   TDs  
Sylvain Chevillard  , Florent Becker  

     Preuves assistées par ordinateur

Thème : Logique & Preuve – Cursus : ENS-Lyon - M1  

     2006 - 2007

Bibliographie : Interactive Theorem Proving and Program Development (Yves Bertot et Pierre Casteran). Voir aussi http://coq.inria.fr
     TDs  
Florent Becker  , Sylvain Chevillard  
     Examens  
Sylvain Chevillard  , Florent Becker  
Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se
Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.