Difference between revisions of "Courses/LOGI"
From LRDE
(Created page with "{{Course |title=Logique du premier ordre |acronym=LOGI |teacher=Adrien |period=S1, Ing1 |exam type=Partiel |duration=12 |optional course=non |objectives=Introduire les structu...") |
(Cours dirigé par Sébastien Hémon.) |
||
Line 4: | Line 4: | ||
|teacher=Adrien |
|teacher=Adrien |
||
|period=S1, Ing1 |
|period=S1, Ing1 |
||
+ | |audience=Tronc-commun |
||
|exam type=Partiel |
|exam type=Partiel |
||
|duration=12 |
|duration=12 |
||
|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. |
||
− | |references=Cours dirigé par Sébastien Hémon. |
||
}} |
}} |
Revision as of 15:28, 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 | |
Documentation | |
Support | |
Journaux |