Cтраница 4
Состояние здоровья лиц, допускаемых к верхолазным работам, должно отвечать медицинским требованиям, установленным для рабочих, занятых на этих работах. О разрешении на выполнение верхолазных работ делается специальная запись в удостоверении о проверке знаний. [46]
В материалах рабочего проекта должна быть произведена специальная запись главного инженера проекта, удостоверяющая пожарную безопасность эксплуатации предприятия, здания или сооружения и соответствие проекта противопожарным требованиям действующих норм и правил. [47]
Поясним смысл этих аксиом. Аксиомы Пеано Р1 и Р2 не нуждаются в специальной записи: их выполнимость обусловлена наличием в языке константы 0 и функционального символа S. Аксиомы A3 А6 естественным образом задают индуктивные определения операций сложения и умножения. Выражение А7 представляет собой схему аксиом: какова бы ни была формула А ( х) языка формальной арифметики, формула вида А7 является аксиомой. Таким образом, А7 представляет бесконечное множество аксиом. Заметим, однако, что схема аксиом А7 не вполне соответствует аксиоме Пеано Р5, поскольку последняя распространяется на любое из 2 свойств натуральных чисел, в то время как схема аксиом А7 имеет дело лишь со счетным числом свойств, записываемых формулами. Тем не менее, схему аксиом А7 принято называть принципом математической индукции. [48]
В табл. 18.1 приведена форма журнала регистрации хозяйственных операций. В нем отражаются содержание ФХЖ и бухгалтерская проводка - специальная запись, указывающая сумму, дебет и кредит счетов, на которых надлежит зарегистрировать данные о конкретном ФХЖ. Заметим, что в журнале сумма может записываться один раз - общая по бухгалтерской проводке, а для сложных проводок ( когда один счет дебетуется, а несколько кредитуются и наоборот) или при необходимости отразить аналитическое содержание общей суммы предусматриваются суммы частные. Суммарное значение всех частных величин по одной бухгалтерской записи должно быть равно сумме общей, характеризующей ФХЖ в целом. [49]
Индексная организация применима только при фиксированной длине записей, которые могут быть блокированными или неблокированными. Расположение записей в наборе определяется с помощью индексов, представляющих специальные записи. Индексы автоматически строятся системой при создании файла и корректируются при его обновлении. Они обеспечивают относительно быстрый поиск нужной записи без последовательного просмотра файла. [50]
Передачей ценной бумаги признается зачисление ценной бумаги на счет депо, списание ценной бумаги со счета депо, перевод ценной бумаги с одного счета депо на другой счет депо. Передача оформляется специальными распорядительными документами ( поручениями депо) и специальными записями в регистрах учета депозитария. [51]
В процессе вычисления переменные приобретают конкретные значения. В языке ПЛ / 1 факт придания некоторой переменной конкретного значения изображается специальной записью, которая называется оператором присваивания. [52]