Nuprl Definition : vexample
vexample(n;a;b) == if n=0 then <a, b> else eval b' = (3 * b) - a in eval m = n - 1 in vexample(m;b;b')
Definitions occuring in Statement :
callbyvalue: callbyvalue,
int_eq: if a=b then c else d,
pair: <a, b>,
multiply: n * m,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
int_eq: if a=b then c else d,
pair: <a, b>,
multiply: n * m,
callbyvalue: callbyvalue,
subtract: n - m,
natural_number: $n
FDL editor aliases :
vexample
Latex:
vexample(n;a;b) ==
if n=0 then <a, b> else eval b' = (3 * b) - a in eval m = n - 1 in vexample(m;b;b')
Date html generated:
2019_06_20-PM-02_43_23
Last ObjectModification:
2019_03_11-PM-05_49_13
Theory : num_thy_1
Home
Index