Fonctions récursives primitives et récursives partielles
... fonctions, tous récursif primitifs et d'arité k. Montrons que h = Si(P,f,g) est récursive primitive. L'expression P(??x) × f(??x) + (1 ?? P(??x)) × g ...
... fonctions, tous récursif primitifs et d'arité k. Montrons que h = Si(P,f,g) est récursive primitive. L'expression P(??x) × f(??x) + (1 ?? P(??x)) × g ...