Travaux Dirigés sur les fonctions Primitives Récursives:
Série1:
exercice 3:
Fonction constante d'arité 0 : Ck=λ. k
Fonction constante d'arité 1 : Fc=λx. c
exercice 4:
-𝑓𝑎𝑐𝑡 = 𝜆𝑥.𝑥!
-Puissance (x,y)
-𝑺𝒈 barre= 𝝀𝒙.{ 1 𝒔𝒊 𝒙=𝟎
0 sinon
Негізгі бет Série 1: fonctions: Ck, Fc, Factoriel, Puissance, Sg barre
Пікірлер: 2