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

(2017) 924
(2019) 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.

Développements :

Plans/remarques :

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


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


Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Introduction à la logique, René David, Karim Nour, Christophe Raffalli (DNR) (utilisée dans 16 versions au total)
Logique mathématique Tome 1, René Cori, Daniel Lascar (utilisée dans 4 versions au total)
Logique mathématique Tome 2, René Cori, Daniel Lascar (utilisée dans 7 versions au total)
Les démonstrations et les algorithmes, Gilles Dowek (utilisée dans 3 versions au total)