Смотреть больше слов в «Англо-русском словаре общей лексики»
[ə`sɜːʃ(ə)n]утверждениепретензия, притязаниесуждение
assertion: translation nounADJECTIVE ▪ bold, confident, strong ▪ dogmatic, general, sweeping ▪ sweeping assertions about the role of women in societ... смотреть
assertion: translationSynonyms and related words:Parthian shot, a priori principle, address, admission, affidavit, affirmance, affirmation, allegation,... смотреть
Assertion: übersetzung As|ser|ti|on 〈f. 20; Philos.〉 Feststellung, einfache, bestimmte Behauptung [<lat. assertio „gerichtl. Behauptung, dass jmd. f... смотреть
[əʹsɜ:ʃ(ə)n] n1. утверждениеmere assertion - голословное утверждение2. 1) юр. заявление (прав, претензий)2) притязание3. лог. суждение4. психол. уверен... смотреть
{əʹsɜ:ʃ(ə)n} n 1. утверждение mere ~ - голословное утверждение 2. 1) юр. заявление (прав, претензий) 2) притязание 3. лог. суждение 4. психол. ув... смотреть
assertion: übersetzungasɛʀsjɔ̃fBehauptung f, Versicherung f, Zusicherung fassertion assertion [asεʀsjõ] Substantif féminin Behauptung féminin
assertion [əˊsɜ:ʃn] n 1) утвержде́ние;a mere assertion голосло́вное утвержде́ние 2) притяза́ние 3) лог. сужде́ние
1) утверждение 2) заявление, отстаивание, защита (прав) 3) притязание •- assertion of right- forcible assertion of private right- forcible assertion of... смотреть
nутверждениеto reject smb's assertions — не соглашаться с чьим-л. утверждением- contradictory assertions- groundless assertion- mere assertion- naked a... смотреть
assertion: übersetzung assertion Vorbringen n, Behauptung f, Erklärung f, Feststellung f
Утверждение..Словарь экономических терминов.
n 1. утверждение; 2. уверенность в себе.* * *сущ. 1) утверждение; 2) уверенность в себе.
1) утверждение 2) суждение - autodual assertion - conditional assertion - existential assertion - false assertion - final assertion - global assertion - law of assertion - local assertion - prime assertion - probability assertion - statistical assertion - strong assertion - syntactic assertion - true assertion - weak assertion... смотреть
assertion [əʹsɜ:ʃ(ə)n] n 1. утверждение mere ~ - голословное утверждение 2. 1) юр. заявление (прав, претензий) 2) притязание 3. лог. суждение 4. п... смотреть
суждение, утверждение а) выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ б) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данных см. тж. logic programming, Prolog, run time... смотреть
заява, констатація, твердження; відстоювання, обстоювання, захист (прав тощо); домагання, заявлення (права) - assertion of right
n1) твердження2) установлення рівня сигналу
формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях ( contract ); precondition , postcondition , class invariant , loop invariant... смотреть
n1) твердження2) обстоювання (прав)3) мат. формулювання
f =, -en(уверенное) утверждение; заверение; констатация
1) утверждение 2) отстаивание, защита 3) притязание, заявление (прав) • - confutable assertion - debatable assertion - patentee's assertion - questionable assertion... смотреть
n твердження, заява- mere ~ голослівне твердження, голослівна заява - to vindicate one's ~ доказати справедливість свого твердження/ своєї заяви
сущ.1) утверждение;2) уверенность в себе.
f утверждение, высказывание
• Claim • Claim a charged particle holds hair up (9) • Senorita's unusual profession (9) • Statement
заява, констатація, твердження; відстоювання, обстоювання, захист (прав тощо); домагання, заявлення (права) assertion of right
Заявление; утверждение; отстаивание (прав)
утверждение. 1) условие, логическое выражение, которое предполагается истинным. 2) оператор контроля. assert statement
n 1) твердження; 2) обстоювання (прав тощо); 3) юр. заява (про права, претензії); 4) лог. судження.
Твердженняформулюванняоператор контролю
əˈsə:ʃənутверждение, отстаивание (прав, претензий)
1 твердження (логічний вираз, що передбачається вірним) 2 оператор контролю
n. утверждение, заявление; притязание; суждение, защита; оператор контроля
fутверждение, высказывание
утверждение– assertion sign
твердженняформулювання оператор контролю
утверджування, стверджування, утвердження
(n) высказывание; суждение; утверждение
утверждение
1) утверждение 2) матем. формулировка
утверждение притязание logic суждение
1) утверждение 2) матем. формулировка
установление уровня сигнала
утверждение
вводящий блок (на блок-схеме программы )
вводящий блок ( на блок-схеме программы )
f клеветническое измышление
Програма верифікаціїверифікатор умов
программа верификации, верификатор условий. Программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition).... смотреть
программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition)... смотреть
програма верифікаціїверифікатор умов
блок проверки утверждений
програма верифікації, верифікатор умов
Програма верифікації
програма верифікації
забезпечення права; праводомагання
забезпечення права; праводомагання
правопритязание
Оператор контролю
оператор контроля.
оператор контролю
оператор контролю
assertion sign: translationThe sign was used by Frege to put in front of sentences that are being asserted as true, as opposed to sentences that are in... смотреть
логика знак логического вывода
знак вывода