SINCC4A
EC Logiques
UE projet tutoré/mémoire
UE mener un projet de recherche avec une démarche scientifique
DESCRIPTION
ORGANISATION
FORMATIONS
Contenu
Mise à niveau :
Formules : calcul propositionnel, calcul des prédicats, modèles.
Preuves : règles et arbres de déduction, résultats de correction, complétude et incomplétude.
Logiques du second ordre.
Calcul des séquents, deduction naturelle.
Théorème d’élimination des coupures et applications.
Lambda-calcul, lambda-calcul typé, correspondance de Curry-Howard.
Système F.
Langue(s) d'enseignement
Français
Volume des enseignements
Cours magistraux: 17 heures
Travaux dirigés: 10 heures
Volume total: 27 heures
Responsables pédagogiques:
MIQUEY Etienne
Codes APOGÉE
SINCC4AL [ELP]
Les formations qui utilisent cet enseignement
Rechercher...
