Cтраница 1
Конструктивные операции связаны с подготовкой и принятием решения на основе диагноза состояния объекта. [1]
Конструктивные операции связаны с подготовкой и принятием разного рода решений. Эти операции различаются в зависимости от содержания, характера и сложности решений, а также от соответствующих методов их индивидуального и коллективного поиска. [2]
Конструктивные операции - операции, связанные с подготовкой и принятием разного рода решений, они существенно различаются в зависимости от применяемых при этом методов. К их числу относятся следующие. [3]
Конструктивные операции, характеризуемые функтор, ными термами только что описанного типа, принадлежат нижним этажам иерархии разнообразных конструктивных операций; их уровень сложности вполне соответствует общему замыслу Гудстейна. [4]
Конструктивные операции связаны с подготовкой и принятием решения на основе диагноза состояния объекта. [5]
Другой конструктивной операцией, играющей весьма существенную роль, является построение произведения системы пространств. Эта операция, введенная А. Н. Тихонов ы м [3], определяется следующим образом. [6]
В условиях коллективного поиска решений конструктивные операции практически неотделимы от коммуникационных и связанных с ними аналитических операций, поскольку решение может быть найдено в процессе обсуждения и анализа различных идей и мнений. [7]
Конфигурации, конструктивные классы конфигураций и конструктивные операции представляют собой тот круг понятий, который мы принимаем за основу всех дальнейших построений. Более того, мы исключаем пользование понятиями, не сводящимися к ним. Однако для того, чтобы полностью исключить пользование бесконечностью в актуальной форме, мы должны ограничить и средства рассуждений над этими понятиями. Классы конфигураций, которые мы ввели, вообще говоря, уже бесконечны, и употребление для них таких логических принципов, как закон исключенного третьего, лишает эти бесконечности их потенциального характера. Опишем те логические и математические принципы, пользование которыми да-пускается. В пределах рассмотрения одной или любого конечного числа конфигураций для всех рассуждений, проводимых в терминах только элементов конфигураций, свойств и отношений между этими элементами, мы допускаем все логические и математические средства без всяких ограничений. [8]
Конструктивные операции, характеризуемые функтор, ными термами только что описанного типа, принадлежат нижним этажам иерархии разнообразных конструктивных операций; их уровень сложности вполне соответствует общему замыслу Гудстейна. [9]
Третье предположение определяет граф конструкции, в общем случае мультиграф, вершинами которого являются начала собственных систем координат вершин НФ, входящих в СФ, а ребрами - вид конструктивной операции или отношения, определяющие взаимосвязь между непроизводными фигурами. [10]
Существенную роль играют в топологии некоторые операции, позволяющие, исходя из данных пространств, строить новые. Одной из таких конструктивных операций является построение подпространств. Это построение осуществляется так. [11]
Это, как мы знаем, конструктивная операция. [12]
Предположим, что мы определили некоторый класс конфигураций, представляющих собой высказывания, и в нем указаны определенные конфигурации, которые мы называем аксиомами. Пусть вместе с тем ука заны и конструктивные операции, представляющие собой логические операции вывода. В таком случае всю полученную систему мы будем называть формализмом, формальной логической системой, дедуктивным исчислением или просто исчислением. [13]
Все эти трудности говорят о том, что в базах данных с бесконечными алгебрами данных 3), по-видимому, не имеет смысла добиваться конструктивизаций в полной мере, и речь должна идти о различных частичных конструктивизациях, связанных с конкретными прикладными задачами. Для баз данных проблема конструктивизаций во многом аналогична подобной проблеме в анализе. Как и в анализе, в базах данных выделяются конструктивные части и определяются конструктивные операции. Специально определяются, например, конструктивные кванторы и можно ограничиваться вычислимыми преобразованиями переменных. [14]
Отрабатываемый в пространственном эскизе подход от общего к частному соответствует геометрическому методу построения верного изображения. Сначала строится некоторый базовый объем, который задает оптимальную структуру последующих построений. Так как базовая форма представляет собой простую фигуру ( многогранник, цилиндр, конус), то можно легко убедиться в полноте, а следовательно, в верности изображения. Затем следует этап членений формы первого, второго и высших порядков. При этом осуществляется иерархическая структура верификации производимых на графической модели построений. Конструктивные операции следующего этапа определяют инциденции n - го порядка через геометрические элементы ( п - 1) - го порядка. При ручном построении параллельной проекции инциденции обычно специально не выделяются, но сам графический метод требует построения элемента n - го порядка путем членения и разметки элемента ( п - 1) - го порядка. Геометрическая определенность каждого такого элемента достигается самой алгоритмической структурой действия. [15]