Uariables and constants

Зминні та сталі (константи)

Независимая переменная или аргумент – это символ алфавита, служащий общим названием (именем) объектов из некоторой совокупности – совокупности, области или множества значений этой переменной. Переменная полностью характеризуется совокупностью ее значений. Иногда говорят, что переменная пробегает область своих значений. Придать переменной некоторое значение из области ее значений – значит указать название отдельного объекта из этой области. С помощью активного, а не пассивного залога то же самое выражают, говоря, что переменная принимает указанное значение. Говоря о значениях переменной обычно отождествляют объект и его название.Равенство (совпадение) переменных означает совпадение их областей значений и совпадение принимаемых значений: всякий раз когда одна из двух равных переменных принимает какое-либо значение, вторая принимает то же самое значение.

Постоянная (константа) – это символ алфавита, служащий индивидуальным названием (именем, обозначением) некоторого объекта. Константу можно рассматривать как переменную, область значений которой состоит из одного-единственного объекта. Равенство (совпадение) констант означает совпадение обозначенных ими объектов.

Переменные с общей областью значений называются переменными одного типа или однотипными переменными.

Лингвистической называется переменная, область значений которой составляет лингвистические объекты: символы алфавита, знакосочетания (слова), выражения, формулы, термы и т.д. Предметной называется переменная область значений которой составляют нелингвистические объекты, объекты внешнего мира. Деление переменных и констант на предметные и лингвистические условно, как и деление объектов на лингвистические и объекты внешнего мира.