Courses/LOGI

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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