Arithmetic is then derivable in second-order logic from Hume's principle. |
Арифметика, таким образом, может быть выведена в логике второго порядка из принципа Юма. |
Double precision arithmetic in Macsyma (on a PC version) was about six times slower than Fortran. |
В результате, например, арифметика с плавающей запятой двойной точности в РС версии Macsyma была примерно в шесть раз медленнее чем на Фортране. |
Suppose we are using six-digit decimal floating point arithmetic, sum has attained the value 10000.0, and the next two values of input are 3.14159 and 2.71828. |
Представим что используется шестиразрядная арифметика с плавающей точкой, sum было присвоено значение 10000,0, и следующие два значения input(i) равны 3,14159 и 2,71828. |
[Eva] That's because my arithmetic is so... |
Это потому что моя арифметика... |
Arithmetic has no mercy. |
Арифметика не знает жалости. |