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...") |
|||
| (3 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Course |
{{Course |
||
| + | |visible=Yes |
||
|title=Logique du premier ordre |
|title=Logique du premier ordre |
||
|acronym=LOGI |
|acronym=LOGI |
||
|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. |
||
| ⚫ | |||
}} |
}} |
||
Latest revision as of 15:10, 3 February 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 |
Cours dirigé par Sébastien Hémon. |
| Prérequis | |
| Objectifs |
Introduire les structures inductives, la logique du premier ordre, et le calcul des séquents. |
| Plan | |
| Documentation | |
| Support | |
| Journaux |