Cтраница 2
Одним из наиболее оригинальных аспектов языка Паскаль является понятие типа. [16]
Как уже было отмечено в § 9.2.3, понятие типа в языке Паскаль объединяет три различные концепции, сохраняя терминологию А. Хабермана, названные нами типом, диапазоном, структурой. Наиболее важным является то, что с объектами, имеющими структурированные типы, допускаются манипуляции в точности такие же, как и с объектами, имеющими неструктурированные типы. Например, массив может быть компонентом некоторого файла или другого массива, а может быть полем некоторой записи. Выполнение оператора присваивания допустимо почти для всех типов объектов при условии, что тип объектов в правой и левой частях оператора присваивания совпадает. [17]
Чтобы воспользоваться основной теоремой, нам нужно сформулировать понятие типа в узком исчислении Гильберта. [18]
В заключение я еще замечу, что введенное выше понятие типа монотонности в данной точке играет существенную роль также в том случае, когда не существует фиксированного промежутка регулярной монотонности и рассматриваемая точка оказывается предельной точкой для множества нулей всех последовательных производных. [19]
В силу этих фактов используемые при описании конкретного изображения понятия типа уголок или сверху не являются понятиями, точно описывающими конкретный уголок или конкретное расположение характерного фрагмента. Каждое такое понятие описывает целый класс фрагментов. [20]
В отечественной системе государственных стандартов инженерно-технической и организационно-плановой документации используется понятие типа производства. Тип производства - это классификационная категория производства, выделяемая по технико-экономическим признакам постоянства и широты номенклатуры, а также регулярности и объема выпуска продукции. Как уже отмечалось, выделяют три типа производства - массовое, серийное и единичное. [21]
Базисные типы данных в основном используются в программах для обозначения переменных, но понятие типа имеет более широкое значение. [22]
Если социальные отношения существуют длительное время, то партнеры могут сформулировать максимы ( понятие усредненного типа поведения), что создает предпосылку их более эффективного функционирования. Такие максимы представлены в виде социальных показателей, фиксируемых в социологических исследованиях ролевого поведения людей. [23]
Для того чтобы сделать возможным количественное исследование вопроса о размерах ядер, необходимо ввести понятие типа радиуса ядра. [24]
Практика - критерии истины, а истина есть опрощенное от первоначальной научной ( философской) системы понятие типа классовой борьбы, которое и начинает организовывать общение по пг очке: легальный марксизм, кружки, нелегальный марксизм, подпольные кружки. [25]
Стандарт ПЛ / I, опубликованный в 1976, дает более формальную и точную спецификацию языка, обобщает понятие типа и правила вычисления выражений и вычисляемых функциями значений. В то же время в стандарт языка не включены средства для параллельного исполнения и средства организации вычислений в период трансляции. [26]
После того, что нами было установлено о сущности магической силы, вряд ли нужно подчеркивать, что между понятиями типа мана и особой силой магического колдовства и обряда очень мало общего. Нам уже приходилось отмечать, что ключ к пониманию магических верований заключен в строгом различии между традиционной силой магии, с одной стороны, и другими силами и способностями, присущими природе и человеку. Слова вакан, оренда и целый класс понятий, связанных со словом мана, обозначающие все виды сил и власти, кроме магии, являют собой примеры некоторой, уходящей в глубину веков генерализации чисто метафического понятия, признаки которого можно обнаружить также в некоторых словах современных туземцев. Та информация, какой мы сейчас располагаем, не позволяет вполне определенно судить о первичном значении этих сложных понятий: физической силы и сверхъестественного действия. В языках североамериканских дикарей акцент, по-видимому, ставится на первом, в языках туземцев Океании - на последнем. Мне хотелось бы только подчеркнуть, что все попытки понять ментальность туземцев должны основываться прежде всего на изучении и описании различных типов их поведения, а слова их языка - на основе изучения их жизни и быта. Язык слишком легко заводит наше познание в тупики, и в антропологии онтологическая аргументация особенно опасна. [27]
Из всего изложенного в данной книге и в книге [7] следует, что подлинное понимание онтогенеза должно гсновываться не на чисто биологических понятиях типа биологического псля или эпигенетического ландшафта, но на рассмотрении реальных физико-химических внутри - и межклеточных взаимодействий и движения клеток. [28]
Задача изучения типологии вырубок состоит также и в том, чтобы, наряду с углубленной теоретической разработкой, отразить в простом виде доступными для практики средствами глубокое содержание понятия типа вырубки. Должна быть серьезно учтена экономическая сторона. Хорошо было бы, например, иметь детальные почвенные карты лесов и вырубок. Но практически мы пока не в состоянии охватить ими десятки и сотни миллионов гектаров лесных таежных территорий. Высокая трудоемкость почвенных раскопок и дороговизна работ практически лишают возможности широко использовать этот метод для диагностики лесорастительных условий обширных концентрированных вырубок. Пока только производится ( и то далеко не везде) крупномасштабная поч-ченная съемка, которая имеет другие цели. [29]
Одна из претензий к изучавшимся до сих пор аппликативным и функциональным языкам, за исключением FQL, состоит в том, что они совсем или почти совсем не используют понятие типа. [30]