DEA 01/02
DEA 23/10/01
Résumé: cours du 23/10/01
cours précédent ........ cours suivant..........tous les cours
Contenu du cours: Démonstration de Church-Rosser. Réduction
parallèle maximale. Enoncé du
théorème des développements finis.
Exercices.
Ecrire une multiplication bien typée, et une autre ( plus simple?),
non typée.
Pareil pour la négation.
Calculer $(lam x. x y) (I I)$.
Y a-t-il d'autres radicaux que $(D D)$ ne se réduisant qu'en
eux-mêmes?
Montrer que deux termes beta-interconvertibles ont une réduction
commune.
Formuler et démontrer qu'un terme a au plus une forme normale.
cours précédent ........ cours suivant..........tous les cours
Andre.HIRSCHOWITZ
Last modified: Oct 17