Courses/LOGI

From LRDE

Revision as of 15:29, 15 January 2020 by Adrien (talk | contribs)
Titre

Logique du premier ordre

Sigle

LOGI

Enseignant

Adrien Pommellet

Période

S1, Ing1

Public

Tronc-commun

Contrôle

Partiel

Durée

1212 h

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