Nuprl Definition : Riemann-sum
Riemann-sum(f;a;b;k) == let p = full-partition([a, b];uniform-partition([a, b];k)) in S(f;p)
Definitions occuring in Statement :
default-partition-choice: default-partition-choice(p),
partition-sum: S(f;p),
uniform-partition: uniform-partition(I;k),
full-partition: full-partition(I;p),
rccint: [l, u],
let: let
Definitions occuring in definition :
default-partition-choice: default-partition-choice(p),
partition-sum: S(f;p),
rccint: [l, u],
uniform-partition: uniform-partition(I;k),
full-partition: full-partition(I;p),
let: let
FDL editor aliases :
Riemann-sum
Latex:
Riemann-sum(f;a;b;k) == let p = full-partition([a, b];uniform-partition([a, b];k)) in S(f;p)
Date html generated:
2016_10_26-PM-00_01_24
Last ObjectModification:
2016_09_12-PM-05_37_39
Theory : reals_2
Home
Index