Nuprl Definition : rcos
rcos(x) == approx-arg(λx.cosine(x);1;x)
Definitions occuring in Statement :
approx-arg: approx-arg(f;B;x),
cosine: cosine(x),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
cosine: cosine(x),
lambda: λx.A[x],
approx-arg: approx-arg(f;B;x)
FDL editor aliases :
rcos
Latex:
rcos(x) == approx-arg(\mlambda{}x.cosine(x);1;x)
Date html generated:
2017_01_09-AM-09_10_40
Last ObjectModification:
2016_11_25-PM-09_52_32
Theory : reals_2
Home
Index