Nuprl Definition : Moessner-alg
Moessner-alg(k;n) == Longs-algorithm(λi.if (i =z 0) then 1 else 0 fi ;λa.k;n;0;k)
Definitions occuring in Statement :
Longs-algorithm: Longs-algorithm(h;n;a;b;c),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
Longs-algorithm: Longs-algorithm(h;n;a;b;c),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
Moessner-alg
Latex:
Moessner-alg(k;n) == Longs-algorithm(\mlambda{}i.if (i =\msubz{} 0) then 1 else 0 fi ;\mlambda{}a.k;n;0;k)
Date html generated:
2016_05_15-PM-10_02_46
Last ObjectModification:
2015_09_23-AM-08_21_55
Theory : power!series
Home
Index