Leçon 924 : Théories et modèles en logique du premier ordre. Exemples.

(2018) 924

Dernier rapport du Jury :

(2017 : 924 - Théories et modèles en logique du premier ordre. Exemples.) Le jury s’attend à ce que la leçon soit abordée dans l’esprit de l’option informatique, en insistant plus sur la décidabilité/indécidabilité des théories du premier ordre que sur la théorie des modèles. Il est attendu que le candidat donne au moins un exemple de théorie décidable (respectivement complète) et un exemple de théorie indécidable. Si le jury peut s’attendre à ce que le candidat connaisse l’existence du théorème d’incomplétude, il ne s’attend pas à ce que le candidat en maîtrise la démonstration.

Retours d'oraux :

Pas de retours pour cette leçon.