Nuprl Definition : Riemann-sum
Riemann-sum(f;a;b;k) ==
eval k' = k in
let p ⟵ full-partition([a, b];uniform-partition([a, b];k'))
in partition-sum(f;default-partition-choice(p);p)
Definitions occuring in Statement :
default-partition-choice: default-partition-choice(p),
partition-sum: partition-sum(f;x;p),
uniform-partition: uniform-partition(I;k),
full-partition: full-partition(I;p),
rccint: [l, u],
callbyvalueall: callbyvalueall,
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue,
callbyvalueall: callbyvalueall,
full-partition: full-partition(I;p),
uniform-partition: uniform-partition(I;k),
rccint: [l, u],
partition-sum: partition-sum(f;x;p),
default-partition-choice: default-partition-choice(p)
FDL editor aliases :
Riemann-sum
Latex:
Riemann-sum(f;a;b;k) ==
eval k' = k in
let p \mleftarrow{}{} full-partition([a, b];uniform-partition([a, b];k'))
in partition-sum(f;default-partition-choice(p);p)
Date html generated:
2016_05_18-AM-10_39_27
Last ObjectModification:
2015_09_23-AM-09_16_32
Theory : reals
Home
Index