Leçon 918 : Systèmes formels de preuve en logique du premier ordre. Exemples.

(2019) 918
(2021) 918

Dernier rapport du Jury :

(2019 : 918 - Systèmes formels de preuve en logique du premier ordre. Exemples.) Le jury attend du candidat qu’il présente au moins la déduction naturelle ou un calcul de séquents et qu’il soit capable de développer des preuves dans ce système sur des exemples classiques simples. $\\$ La présentation des liens entre syntaxe et sémantique, en développant en particulier les questions de correction et complétude, et de l’apport des systèmes de preuves pour l’automatisation des preuves est également attendue. Le jury apprécie naturellement si des candidats présentent des notions plus élaborées comme la stratégie d’élimination des coupures mais est bien conscient que la maîtrise de leurs subtilités va au-delà du programme.

(2017 : 918 - Systèmes formels de calcul de preuve en logique du premier ordre. Exemples.) Le jury attend du candidat qu’il présente au moins la déduction naturelle ou un calcul de séquents et qu’il soit capable de développer des preuves dans ce système sur des exemples classiques simples. La présentation des liens entre syntaxe et sémantique, en développant en particulier les questions de correction et complétude, et de l’apport des systèmes de preuves pour l’automatisation des preuves est également attendue. Le jury appréciera naturellement si des candidats présentent des notions plus élaborées comme la stratégie d’élimination des coupures mais est bien conscient que la maîtrise de leurs subtilités va au-delà du programme.

Plans/remarques :

2017 : Leçon 918 - Systèmes formels de calcul de preuve en logique du premier ordre. Exemples.


2016 : Leçon 918 - Systèmes formels de preuve en logique du premier ordre : exemples.


2015 : Leçon 918 - Systèmes formels de preuve 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)