Difference between revisions of "Courses/LOGI"

From LRDE

 
Line 1: Line 1:
 
{{Course
 
{{Course
  +
|visible=Yes
 
|title=Logique du premier ordre
 
|title=Logique du premier ordre
 
|acronym=LOGI
 
|acronym=LOGI

Latest revision as of 15:10, 3 February 2020

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