Leçon 917 : Logique du premier ordre : syntaxe et sémantique.

(2016) 917

Dernier rapport du Jury :

(2015 : 917 - Logique du premier ordre : syntaxe et sémantique.) 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.

Développements :

Plans/remarques :

2015 : Leçon 917 - Logique du premier ordre : syntaxe et sémantique.


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)
Les démonstrations et les algorithmes, Gilles Dowek (utilisée dans 3 versions au total)