Difference between revisions of "Courses/LOFO"
From LRDE
| Line 12: | Line 12: | ||
|prerequisites=Programme Classes Préparatoires, LOGI |
|prerequisites=Programme Classes Préparatoires, LOGI |
||
|objectives=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. |
|objectives=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. |
||
| − | |content= |
+ | |content=# Lambda calcul |
| − | + | # Lambda calcul simplement typé |
|
| − | + | # Déduction naturelle pour la logique classique |
|
| − | + | # Calcul des séquents, élimination des coupures |
|
| − | + | # TD Lambda Calcul / Systèmes de déduction |
|
| − | + | # Logique Intuitionniste |
|
| − | + | # Isomorphisme de Curry-HowardCe 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 18:58, 4 February 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 |
|
| Documentation | |
| Support | |
| Journaux |