Cours 19 | Calcul propositionnel Calcul des prédicats complétude

Titre: Calcul propositionnel Calcul des prédicats complétude

Auteurs: Olivier Bournez

Ecole: Ecole Polytechnique

Résumé: Voir le document

Extrait du sommaire:

Logique ?
Calcul propositionnel
Calcul des prédicats
Exemples de théories du premier ordre
Théoréme de complétude