Assertion

имя существительное 1) утверждение Например: bold / sweeping assertion — огульное утверждение mere assertion — голословное утверждение unfounded assertion — безосновательное утверждение to make an assertion — высказать утверждение to deny / refute an assertion — опровергнуть утверждение Assertion is like an arrow shot from a long bow; the force with which it strikes depends on the strength of the arm that draws it. — Утверждение подобно стреле, выпущенной из длинного лука: сила, с которой она бьёт, зависит от крепости руки, натягивающей лук. 2) претензия, притязание Синоним(ы): claim, pretension 3) [логика] суждение

Большой англо-русский словарь

Assertion

суждение, утверждение, высказывание а) выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ б) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данных Смотри также: logic programming, Prolog, run time

Англо-русский словарь компьютерных терминов

Assertion

1) утверждение 2) суждение

Англо-русский научно-технический словарь

Assertion

1) [вычислительная техника] утверждение 2) установление уровня сигнала

Англо-русский политехнический словарь

Assertion

noun the act of asserting; also declaration, affirmation

Merriam-Webster's Collegiate Dictionary

Assertion

1. An expression which, if false, indicates an error. Assertions are used for debugging by catching can't happen errors. 2. In logic programming, a new fact or rule added to the database by the program at run time. This is an extralogical or impure feature of logic programming languages.

Free Online Dictionary of Computing