Nuprl Definition : integer-approx
integer-approx(x;k) == (x k) ÷ 2 * k
Definitions occuring in Statement :
apply: f a,
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
divide: n ÷ m,
apply: f a,
multiply: n * m,
natural_number: $n
FDL editor aliases :
integer-approx
Latex:
integer-approx(x;k) == (x k) \mdiv{} 2 * k
Date html generated:
2019_10_29-AM-10_08_45
Last ObjectModification:
2019_02_03-PM-02_31_39
Theory : reals
Home
Index