Difference between revisions of "Courses/LOFO"
From LRDE
Line 18: | Line 18: | ||
# TD Lambda Calcul / Systèmes de déduction |
# TD Lambda Calcul / Systèmes de déduction |
||
# Logique Intuitionniste |
# Logique Intuitionniste |
||
− | # Isomorphisme de Curry- |
+ | # Isomorphisme de Curry-Howard |
+ | |||
+ | Ce cours n'est pas à propos de : |
||
**la théorie des modèles |
**la théorie des modèles |
||
** l'algèbre de Boole |
** l'algèbre de Boole |
Revision as of 19:22, 16 April 2020
Titre |
Logique formelle |
---|---|
Sigle |
LOFO |
Enseignant | |
Période |
S4, Ing1 |
Public |
Tronc-commun |
Contrôle |
Partiel |
Durée |
12h |
Optionnel |
oui |
Module |
Sciences Générales |
Prérequis |
Programme Classes Préparatoires, LOGI |
Objectifs |
Le véritable but de ce cours est de présenter l’isomorphisme de Curry-Howard, qui montre une correspondance profonde, et surprenante, entre le programmes et démonstrations. À cette fin tous les prérequis sont introduits dans un premier temps. Ils sont intéressants en soi pour la culture de l’informaticien sensible aux aspects formels. |
Plan |
Ce cours n'est pas à propos de :
|
Documentation | |
Support | |
Journaux |