ГОСТ 33707—2016
Допустимый синоним: Оператор «если-то».
4.1032 правило импликации («если-то»): Правило формальной логики,еп
которое состоит из части « если», представляющей предпосылку или ус
ловие. и части «то», представляющей цель или действие, принимаемое,
когда часть «если» истинна.
if-then rule, if-then
statement
4.1033 правило манипулирования данными: Правило, которому необ еп
ходимо следовать при создании процесса или которому автоматически
следует система управления данными при выполнении процесса.
data manipulation rule
4.1034 правило структурирования данных: Правило, определяющеееп
способ структурирования набора данных.
data structuring rule
4.1035 правильность: Качество, выражающееся в отсутствии ошибок.еп
accuracy
4.1036 право доступа: Право, предоставленное пользователю на санк еп
ционированное использование определенных программ и данных, хра
нящихся в системе.
access right
4.1037 предвыполнение: Процесс, при котором объявление вступает в еп
силу до выполнения, включающий, например, разрешение ссылок, про верку
типов данных или выделение памяти.
elaboration
4.1038 предикат: Лингвистический объект, аналогичный глаголу, сооб еп
щающий что-либо о сущностях, обозначенных термами.
predicate
4.1039 предложение: Лингвистический объект, представляющий опреде еп
ленное высказывание.
sentence
4.1040 предметные знания: Знания, накопленные в конкретной области.еп
domain knowledge
4.1041 предопределенный атрибут: Характеристика языкового объек еп
та. введенная описанием языка программирования.
predefined, built-in,
intrinsic
4.1042 предпрограмма: Программа, являющаяся частью другой про еп
граммы и удовлетворяющая требованиям языка программирования к
структуре программы.
subprogram
4.1043 представление: Логическое подмножество таблицы.еп
view
4.1044 представление знаний: Процесс или результат кодирования и еп
запоминания знаний в базе знаний.
knowledge represen
tation
Допустимый синоним: Входное условие
4.1045 предусловие: Оператор условия, относящийся к точке, непосред еп
ственно предшествующей указанному фрагменту программы в последо
вательности выполнения.
precondition
4.1046 преобразование нормирования: Преобразование, которое ото еп
бражает границы и внутренность окна на границу и внутренность поля
вывода. В ЯГС это образование заключается в пересчете позиции из ми
ровых координат в нормированные.
normalization
4.1047 преобразование сигнала: Операция, состоящая в модификацииеп
некоторых характеристик сигнала, таких как максимальное значение,
форма или распределение по интервалам времени.
signal transformation,
signal shaping
4.1048 препроцессор: Программа или подпрограмма, выполняющаяепpreprocessor
определенную процедуру обработки до главного процессора.
79