Явное определение

Cтраница 1

Явные определения из выводов нумерических равенств устраняются легко. Схема замены в формализме ( Z1), ввиду наличия в нем аксиомы ( J2), правила подстановки и схемы заключения, является производной схемой. Это делается следующим образом. [1]

Явное определение предмета и продукта деятельности учения в понимании ее близком к нашему, равно как и прочих ее структурных моментов9, встречается лишь в немногих психологических работах. Ильясова предметом этой деятельности является опыт самих учащихся, который преобразуется в учении путем присвоения элементов социального опыта, переработанного в содержание обучения, поэтому можно считать, что предметом данной деятельности является также не усвоенное еще содержание обучения, преобразуемое в ней из неусвоенного в усвоенное [ 46, с. Соглашаясь с первой частью ( вариантом) определения предмета деятельности учения, мы должны заметить, что второй его вариант, по существу, описывает структуру, отличную по своему содержанию от только что определенной. Как мы покажем ниже, в нашей системе подлежащий усвоению опыт занимает особое структурное место. [2]

Явное определение SD понятия доказательства должно быть таким, что если множество Л рекурсивно, то отношение р есть доказательство утверждения а из аксиом Л разрешимо. [3]

Однако явное определение зависимости Cf от Re из уравнения (6.76) является довольно сложным делом и поэтому на практике вместо (6.76) обычно используются заметно более простые интерполяционные или эмпирические формулы. [4]

Такое явное определение глобального символа рекомендуется выполнять в начале текста программы. Существует способ неявного определения внешнего глобального символа. ENABL GBL, которая определяет все символы, не опг ределенные в данном модуле, глобальными. [5]

Вместо явного определения производных, что связано с большими трудностями, поступим следующим образом. [6]

Схема явного определения представляет собой правило, согласно которому любое явное определение может быть добавлено к формализму в качестве исходной формулы, причем выражение, состоящее из введенного символа и его аргументов, а также любое выражение, получающееся из него в результате каких-либо подстановок вместо его свободных переменных ( если при этом не происходит коллизий между связанными переменными), допускается в качестве терма, или функционала, или формулы, смотря по тому, какой - первый, второй или третий - вид имеет это явное определение. Разумеется, правило переименования связанных переменных распространяется и на связанные переменные вновь введенных символов. [7]

Для явного определения момента потери устойчивости откоса применена теория графов - свойство связанного плоского графа. [8]

Из этого явного определения получается и конкретное изображение этого функционального знака в нашей нумерации. [9]

Формулировка такого явного определения производится с использованием - символа. [10]

Правило добавления явных определений аналогично соответствующему правилу в формализме Я, с тем, однако, упрощением, что в данном случае отпадают все соглашения, относящиеся к функционалам и функциональным переменным. [11]

Из этого явного определения и эффективности у и у 1 пол чаем эффективную вычислимость функции s %, а, следовательно по тезису Черча и ее вычислимость. [12]

Блочная конструкция исключения каждого второго спина. [13]

Отказ от явного определения а г, выглядит сейчас как шаг назад на пути такого построения а г, которое наилучшим образом передает усредненную величину исходных спинов в блоке. [14]

Такая возможность явного определения типа переменной допускается в ФОРТРАНе-IV, например: INTEGER X, Р, А1ВМ, где переменные X, Р, А1ВМ хотя и не начинаются с букв I, J, К, L, M, N, но рассматриваются как целые. [15]

Страницы: 1 2 3 4