Courses/LOGI
From LRDE
Revision as of 15:27, 15 January 2020 by Adrien Pommellet (talk | contribs) (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...")
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
| Titre |
Logique du premier ordre |
|---|---|
| Sigle |
LOGI |
| Enseignant | |
| Période |
S1, Ing1 |
| Public | |
| 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 |