Difference between revisions of "Courses/LOGI"
From LRDE
(Cours dirigé par Sébastien Hémon.) |
|||
| Line 9: | Line 9: | ||
|optional course=non |
|optional course=non |
||
|objectives=Introduire les structures inductives, la logique du premier ordre, et le calcul des séquents. |
|objectives=Introduire les structures inductives, la logique du premier ordre, et le calcul des séquents. |
||
| + | |content=A |
||
}} |
}} |
||
Revision as of 15:29, 15 January 2020
| Titre |
Logique du premier ordre |
|---|---|
| Sigle |
LOGI |
| Enseignant | |
| Période |
S1, Ing1 |
| Public |
Tronc-commun |
| Contrôle |
Partiel |
| Durée |
1212 h <br /> |
| Optionnel |
non |
| Module | |
| Prérequis | |
| Objectifs |
Introduire les structures inductives, la logique du premier ordre, et le calcul des séquents. |
| Plan |
A |
| Documentation | |
| Support | |
| Journaux |