Difference between revisions of "Courses/LOGI"

From LRDE

(Cours dirigé par Sébastien Hémon.)
Line 9: Line 9:
 
|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.
  +
|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
Prérequis
Objectifs

Introduire les structures inductives, la logique du premier ordre, et le calcul des séquents.

Plan

A

Documentation
Support
Journaux