The scheme of a program is a constructive object which indicates how the program is constructed using the signature and other formal symbols.
Схема программы - это конструктивный объект, показывающий, как строится программа с использованием сигнатурных символов.
The "functioning" of such a model does not always have the character of an effective construction, since the set of initial data need not be a constructive object; in principle, this does not render such models inferior.
"Работа" такой модели не всегда носит характер эффективного построения, поскольку совокупность исходных данных может не быть конструктивным объектом; в принципе это не уменьшает значения таких моделей.
The transformation does not embrace the whole constructive object, but only a portion of it delineated beforehand for the given algorithm, and the transformation itself is determined not by the whole preceding constructive object, but only by this limited portion.
Т.е. преобразованию подвергается не весь конструктивный объект, а лишь некоторая, заранее ограниченная для данного алгоритма его часть и само это преобразование определяется не всем предыдущим конструктивным объектом, а лишь этой ограниченной частью.
An algorithmic process is a process of consecutive conversion of constructive objects by discrete "steps", each step consisting of the replacement of one constructive object by another one.
Алгоритмический процесс это - процесс последовательного преобразования конструктивных объектов, проходит дискретными шагами (то есть изменение происходит скачкообразно), каждый шаг состоит в смене одного конструктивного объекта другим.
It will be noted that, in a series of successive constructive objects, each successive constructive object is fully determined (in the framework of the given algorithm) by the constructive object immediately preceding it.
При этом в ряду сменяющих друг друга конструктивных объектов каждый последующий полностью определяется (в рамках данного алгоритма) непосредственно предшествующим.
Other results
It is defined for constructive objects, such as words in some alphabet.
Therefore, the rational numbers end up being constructive objects.
Works on working out of technological and constructive decisions of linear object.
Constructive works and civilian objects left by past cultural epoch the most directly touch with geocomplexes.
Гражданские объекты и искусственные сооружения, созданные в прошлой культурной эпохе, самым тесным образом связаны с геокомплексами.
The posture is considered relaxed and natural, and the same principle has been preserved in the constructive part of the object.
of information universe and constructive bases of information objects and processes.
It extends this interpretation to the more general setting of intuitionistic type theory and thus provides a general conception not only of what a constructive proof is, but also of what a constructive mathematical object is.
Она расширяет эту интерпретацию до более общего взгляда интуиционистской теории типов и, таким образом, дает общее представление не только о том, что такое конструктивное доказательство, но и о том, что такое конструктивный математический объект.
Maria and Maxim's "live" objects have a clear constructive basis.