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 14:28, 15 January 2020

Titre

Logique du premier ordre

Sigle

LOGI

Enseignant

Adrien Pommellet

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