Difference between revisions of "Courses/LOGI"
From LRDE
Line 1: | Line 1: | ||
{{Course |
{{Course |
||
+ | |visible=Yes |
||
|title=Logique du premier ordre |
|title=Logique du premier ordre |
||
|acronym=LOGI |
|acronym=LOGI |
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 |