Nuprl Definition : aa_step_3n
aa_step_3n() == λf,n. if (n =z 1) then 0 if (n rem 2 =z 0) then 1 + (f (n ÷ 2)) else f (1 + (3 * n)) fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
lambda: λx.A[x],
remainder: n rem m,
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
remainder: n rem m,
divide: n ÷ m,
apply: f a,
add: n + m,
multiply: n * m,
natural_number: $n
FDL editor aliases :
aa_step_3n
Latex:
aa\_step\_3n() ==
\mlambda{}f,n. if (n =\msubz{} 1) then 0 if (n rem 2 =\msubz{} 0) then 1 + (f (n \mdiv{} 2)) else f (1 + (3 * n)) fi
Date html generated:
2016_05_15-PM-10_04_37
Last ObjectModification:
2015_09_23-AM-08_22_08
Theory : bar!type
Home
Index