Fonctions de r

Les deux droites (IJ) et (BD) sont parall`eles, le plan (IJK) contient la droite (IJ ), le plan (BCD) contient la droite (BD) et ces deux plans sont s´ecants selon une droite

[r]

une variable locale ` a main, qui vaut 3 et n’est pas modifi´ ee une variable locale ` a la fonction reset, qui vaut 0, et qui n’est connue que dans le corps de la fonction reset.

Les fonctions Turing (semi-) calculables sont closes par composition, r´ ecursion primitive et minimisation... Th´ eor` eme

[r]

[r]

[r]

[r]