917 - Logique du premier ordre : syntaxe et sémantique.2016
Rapport du jury 2015
La question de la syntaxe dépasse celle de la définition des termes et des formules. Elle comprend aussi celle des règles de la démonstration.Le jury attend donc du candidat qu'il présente au moins un système de preuve et les liens entre syntaxe et sémantique, en développant en particulier les questions de correction et complétude.
Afficher les anciens rapports
Développements
| 5 | Algorithme d'unification |
| 5 | Théorie des ordres denses |
Plans
Rajouter une version
Utilisateur : Promo ENSL 2015
Références :
Introduction à la logique
Les démonstrations et les algorithmes
Utilisateur : Promo ENSL 2016
Références :
Introduction à la logique