Nuprl Definition : aa_3n_plus_1_rel
aa_3n_plus_1_rel(ni;no) == if (ni rem 2 =
0) then (no = ni 
2) else (no = 1 + (3 * ni)) fi
Definitions occuring in Statement :
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
remainder: n rem m,
divide: n m,
multiply: n * m,
add: n + m,
natural_number: $n
FDL editor aliases :
aa_3n_plus_1_rel
aa\_3n\_plus\_1\_rel(ni;no) == if (ni rem 2 =\msubz{} 0) then (no =\msubz{} ni \mdiv{} 2) else (no =\msubz{} 1 + (3 * ni)) fi
Date html generated:
2013_03_20-AM-09_56_37
Last ObjectModification:
2012_11_27-AM-10_33_40
Home
Index