Переименование

Cтраница 1

Переименование не обязательно должно быть взаимно однозначным; два различных предикатных или функциональных символа могут быть заменены на один и тот же символ. Однако замена сразу и предикатного, и функционального символа на один и тот же символ недопустима. [1]

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

Переименование используется для того, чтобы присвоить новые имена объектам требуемой библиотеки. [3]

Переименование выбранных для копирования разделов может проводиться одновременно с копированием этих разделов. Если новое имя раздела совпадает с именем уже существующего раздела в выходной библиотеке, то раздел не копируется, если не указана операция замены. [4]

Переименование и удаление каталогов возможно также в режимах, когда на экран выведено дерево каталогов, см. пп. [5]

Переименование и удаление каталогов возможно также в режимах, 1 когда на экран выведено дерево каталогов, см. пп. [6]

Переименование макроса в редакторе VBA не представляет сложности. [7]

Имя поля выделено. теперь его можно изменить. [8]

Переименование поля в этом режиме предусматривает такое же количество операций, но некоторым пользователям кажется, что в режиме таблицы работать проще. [9]

Переименование программ, текстов и файлов. [10]

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

Переименование папок осуществляется точно так же, как и переименование файлов. В именах папок обычно не используются расширения. [12]

Переименование объектов дает возможность совершать с ними иные действия, чем те, которые были записаны за ними в предыдущей модели мира, что программирует такие варианты дальнейших действий, которые нужны планировщикам медиа-кризиса. [13]

Переименование связанных индивидных переменных определяется, как прежде. [14]

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

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