Contoh real

• Chapter 13 discusses constraint programming over reals using interval constraint solving.

• Finally, let us consider what happens when we move up to the reals.

• The order will be induced by the standard ordering of the reals.

• Tax rates did not exceed 0.05 reales per mazo and did not change throughout the period.

• Denotations are included for integers, reals, booleans, characters and strings.

• Since order on reals is undecidable, there is no simple uniformly applicable lattice meet operation that would always produce non-negative intervals as values.

• As this proof shows, there are infinitely many non-equivalent countably based domain representations of the reals.

• Edalat uses the interval domain of reals, rather than the reals, as the values of the entries in his density matrices.

• However, during the 1770s it grows to 12 or 13 reales, to 14 reales in 1790, and it reaches 20 reales around 1800.

• The price rises during the 1730s, and it reaches 11.5 reales in the 1740s, remaining there until 1750.

• Interval constraint solving over reals has a number of subtleties which can trip up naive users and these are well explored.

• Computers truncate, transforming reals and transcendentals into rational approximations.

• The hacienda agreed to pay each labourer three reales per day, half the normal daily wage.

• Sets satisfying these conditions include the reals, the rationals, and the rationals with finite binary expansions, the last being the smallest such set.

• The collection of formal reals is extended by also allowing 'unsharp' elements, which we call partial reals.