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