DEA 2/10/01

Résumé: cours du 2/10/01

cours précédent ........ cours suivant..........tous les cours
Introduction, booléens, entiers de Church.
Exercices.
  • Ecrire un lambda-terme représentant la négation, la conjonction, la disjonction, le nand.
  • Comment exprimer que la négation est involutive? Est-ce vrai? En quel sens votre conjonction est-elle commutative, associative?
  • A-t-on $2+2=4$?
  • L'addition des entiers de Church est-elle commutative, associative?
  • Calculer $II$, $DD$, $WW$.
    cours précédent ........ cours suivant..........tous les cours
    Andre.HIRSCHOWITZ
    Last modified: Oct 2