Courses/LOGI

From LRDE

Revision as of 15:27, 15 January 2020 by Adrien (talk | contribs) (Created page with "{{Course |title=Logique du premier ordre |acronym=LOGI |teacher=Adrien |period=S1, Ing1 |exam type=Partiel |duration=12 |optional course=non |objectives=Introduire les structu...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Titre

Logique du premier ordre

Sigle

LOGI

Enseignant

Adrien Pommellet

Période

S1, Ing1

Public
Contrôle

Partiel

Durée

1212 h

Optionnel

non

Module
Prérequis
Objectifs

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

Plan
Documentation
  • Cours dirigé par Sébastien Hémon.
Support
Journaux