HPH3U02

UE Logique 2 (externe)

Unité d'enseignement (UE) de 6 crédits

DESCRIPTION
ORGANISATION
FORMATIONS

Contenu

Logique, calcul logique, logique du premier ordre, syntaxe sémantique

Compétences à acquérir

Connaissances en logique, calcul logique, syntaxe sémantique

Volume des enseignements

Cours magistraux: 30 heures
Travaux dirigés: 18 heures
Volume total: 48 heures

Codes APOGÉE

HPH3U02 [ELP]

Les formations qui utilisent cet enseignement