Cтраница 3
Во многих версиях Бейсика не требуется явного определения переменных. Исключением является строковая переменная, которая представляет последовательность алфавитно-цифровых символов. Строковая переменная обозначается знаком доллара в конце имени переменной. Например, переменная FILE может содержать числовое значение, представляющее номер файла, в то время как строковая переменная FILES содержит строку символов, которая может представлять имя файла. Из этого следует, что FILE и FILE представляют различные переменные и могут быть одновременно использованы в одной и той же программе. В некоторых версиях Бейсика используются другие типы данных. В этом случае требуется описание данных. [31]
Суть доказательства состоит в том, что явные определения и примитивные рекурсии остаются таковыми и после введения, параметров. [32]
Правда, сказанное еще не дает нам явного определения, так как определяемое понятие номера формулы исчисления высказываний входит в определяющее выражение. Но при этом мы все-таки получаем некоторое рекурсивное определение. [33]
Это служит еще одним аргументом в пользу явного определения стандартного конструктора для ваших собственных классов. [34]
На начальном этапе построения транслятора следует средствами грамматики дать явное определение его исходному языку. [35]
Схема явного определения представляет собой правило, согласно которому любое явное определение может быть добавлено к формализму в качестве исходной формулы, причем выражение, состоящее из введенного символа и его аргументов, а также любое выражение, получающееся из него в результате каких-либо подстановок вместо его свободных переменных ( если при этом не происходит коллизий между связанными переменными), допускается в качестве терма, или функционала, или формулы, смотря по тому, какой - первый, второй или третий - вид имеет это явное определение. Разумеется, правило переименования связанных переменных распространяется и на связанные переменные вновь введенных символов. [36]
В прагматическом методе абстрагирования семантику данных и операций описывают путем явного определения множества данных Dt и операций f, используя математические понятия, семантика которых считается заданной. Для этого используются либо известные, либо гипотетические языки программирования, а также такие математические понятия, как функции и множества, абстрактные механизмы типа автоматов. Ниже на примере стека рассматривается метод абстрагирования данных с использованием языка программирования. [37]
Об определении типа Subst говорят еще, что оно является явным определением функции F, в противовес рекурсивному определению. [38]
Это действительно существенные свойства площади, но в них не содержится никакого явного определения этого понятия. Y), где с представляет собою не зависящее от - у положительное постоянное число. Но этим и исчерпываются все возможности. [39]
Обращаем внимание на то, что ввиду соглашений, принятых нами относительно явных определений в формализме К, запись р ( a, b ( х), п) недопустима. [40]
Сами авторы этой концепции - Паулинг и Уэланд и другие - явного определения понятия резонанса структур не дают. [41]
По ряду соображений, связанных с дедуктивной Целесообразностью, мы добавим к Я0 схему явного определения. [42]
Понятия лебеговской меры и интеграла Лебега тоже могут быть изображены в Н с помощью соответствующих явных определений. При формулировке этих определений некоторое упрощение получается за счет того, что при введении внешней меры Лебега для линейных точечных множеств можно принимать во внимание только такие интервалы покрытия, концы которых являются рациональными. Равным образом для плоских точечных множеств в качестве покрывающих многоугольников достаточно брать только такие квадраты, вершины которых имеют рациональные координаты и стороны которых параллельны осям координат. [43]
В качестве еще одного способа расширения дедуктивных формализмов, построенного по образу содержательной логики, следует упомянуть правило допущения явных определений, с помощью которого формализуется метод введения номинальных определений. Всякое явное определение представляет собой какую-либо добавляемую к дедуктивному формализму аксиому, представляющую собой либо равенство, с помощью которого вводится новый индивидный символ или новый функциональный знак, либо эквивалентность, с помощью которой вводится какой-либо предикатный символ. В левой части этого равенства или этой эквивалентности стоит вводимый символ с отличными друг от друга свободными переменными в качестве аргументов, а в правой части - выражение ( определяющее выражение), свободные переменные которого совпадают со свободными переменными левой части и в котором содержатся только символы, принадлежащие исходному формализму. В случае равенства выражение, стоящее в правой части, является термом, а в случае эквивалентности - формулой. [44]
В качестве аргументов вводимого символа могут также фигурировать и формульные переменные; если формульная переменная с аргументами фигурирует в явном определении в качестве аргумента вводимого символа, то в качестве ее аргументов в этом определении берутся отличные друг от друга связанные переменные, которые пишутся у вводимого символа в качестве индексов. [45]