Leçon 920 : Réécriture et formes normales. Exemples.

(2015) 920
(2017) 920

Dernier rapport du Jury :

(2015 : 920 - Réécriture et formes normales. Exemples.) Au-delà des propriétés standards (terminaison, confluence) des systèmes de réécriture, le jury attend notamment du candidat qu'il présente des exemples sur lesquels l'étude des formes normales est pertinente dans des domaines variés : calcul formel, logique, etc. Un candidat ne doit pas s'étonner que le jury lui demande de calculer des paires critiques sur un exemple concret. Lorsqu'un résultat classique comme le lemme de Newman est évoqué, le jury attend du candidat qu'il sache le démontrer.

Développements :

Plans/remarques :

2016 : Leçon 920 - Réécriture et formes normales. Exemples.


2015 : Leçon 920 - Réécriture et formes normales. Exemples.


Retours d'oraux :

Pas de retours pour cette leçon.

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

Term rewriting and All That, Franz Baader (utilisée dans 5 versions au total)
Logique, réduction, résolution, Michel Demazure, René Lalement (utilisée dans 1 versions au total)
Handbook of Automated Reasoning, Alan Robinson, Andrei Voronkov (utilisée dans 1 versions au total)