Cтраница 2
Машины третьего поколения позволяют с помощью средств программирования в значительной степени приблизить внутреннюю форму представления данных к внешней, обычно используемой в управленческих документах. Затрата ресурсов на обработку данных зависит от форм данных. Наиболее экономичная по скорости обработки форма представления чисел - двоичная форма с фиксированной запятой. Десятичное представление числа в этом отношении менее экономично, однако оно допускает переменную длину и позволяет исключить редактирование на выводе, поскольку в машине предусматривается специальная команда редактирования по формату. [16]
Не всегда утверждение теоремы записывается в приведенном выше условном виде. Иногда, например, утверждается, что объект с заданными свойствами существует. Самый естественный способ доказательства подобных теорем состоит в предъявлении явного метода для нахождения такого объекта. Предположив теперь, что десятичное представление числа х известно, мы легко найдем п с помощью описанного метода. [17]