Difference between revisions of "Courses/LOGI"

From LRDE

(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...")
(No difference)

Revision as of 15:27, 15 January 2020

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