Logique intuitionniste et stabilisation dans les circuits électroniques
Gérard Berry
Collège de France
http://www-sop.inria.fr/members/Gerard.Berry/
Date(s) : 21/03/2017 iCal
11h00 - 12h00
Principe de la logique intuitionniste : au lieu de résoudre des équations logiques, se contenter de propager des faits prouvés.
Catégories
