Courses/LOGI

From LRDE

Revision as of 15:10, 3 February 2020 by Clément Démoulins (Cd) (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Titre

Logique du premier ordre

Sigle

LOGI

Enseignant

Adrien Pommellet (Adrien)

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