Cтраница 1
Замена символа tk его кососимметричной частью приводит к умножению К на эллиптический оператор из OPS0, поэтому без потери общности можно считать, что оператор К унитарен. [1]
Замена символа переписывания - - символом проло-говской импликации: - требует двух аргументов-списков. Тогда аргумент X предиката гла-гол ( Х Х ] является этим списком слов, а Х - тем же списком без заголовка, если заголовок является глаголом. Наконец, аргумент Y соответствует списку слов без глагола и слов, представляющих группу-сущ. [2]
Если замены символа не происходит, sm может в команде отсутствовать. [3]
Строка состояния. [4] |
Если режим замены символов активен, то символ, вводимый с клавиатуры, заменяет символ, расположенный на месте расположения курсора. [5]
Позволяет обеспечить замену символов в наборе без сжатия файла или сортировки записей для исключения пустых сегментов. [6]
При этом производится замена символов д / dt - d / dt, так как интеграл уже не является функцией координат. [7]
Операторы замены осуществляют замену обозреваемого символа словом, указанным в этом операторе, и затем сдвигают маркер на число позиций, также указанное в операторе. [8]
Трансляция заключается в замене символов и синтаксиса исходного языка символами и синтаксисом выходного языка с сохранением содержания переводимых выражений. [9]
Но для СУБД это лишь замена символа в Записи, Допустим, что ошибочно оператор изменил и наименование фирмы-поставщика. Теперь гаечные ключи изготовляет уже не фирма Снукс знд Компани, г. Хаддерсфилд, а фирма Кристиан Диор, г. Париж. Для СУБД это опять лишь изменение нескольких символов, но зато какая большая разница для отдела материально-технического снабжения, поскольку Кристиан Диор не продает гаечных ключей. [10]
Та же самая формула с заменой символа tj на / или на / j доказывает также утверждения ( ii) и ( iii) для классов Чжэ-ня по модулю 2 и кватернионных классов по модулю 2 соответственно. [11]
Набор текста программы производится в режиме замены символа. [12]
Переходом от одних кодов к другим достигается замена символов входного языка на символы выходного языка. Автоматическая замена, как отмечалось ранее, осуществляется ЭВМ с помощью программы-транслятора. При этом трансляция ведется путем применения метаязыка для определения структуры входного языка в терминах ( символах) выходного языка. [13]
Выражение преобразуется в строку символов и используется для замены символа, вызвавшего ошибку. [14]
Команда TR используется для просмотра символьных данных и замены символов, содержащихся в исходном поле, на другие. [15]