Difference between revisions of "Courses/LOGI"

From LRDE

Line 8: Line 8:
 
|duration=12
 
|duration=12
 
|optional course=non
 
|optional course=non
  +
|module=Cours dirigé par Sébastien Hémon.
 
|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.
|content=A
 
 
}}
 
}}

Revision as of 14:29, 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

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