Definīcija:Predikāts, loģiskā izteiksme vai nosacījums, kuram būtu jābūt patiesam. Apgalvojumus plaši izmanto programmu korektuma pierādījumos. Dažkārt par apgalvojumu sauc arī teikumu programmēšanas valodā.
LZA TK ITTEA terminu datubāze
64 Tehnoloģija
ENcertification; assertion
LVapliecināšana; apliecinājums
RUзасвидетельствование; заверение
DEBeglaubigung; Bescheinigung
Ekonomikas, lietvedības un darba organizācijas termini (ELDO) — R., 1995
16 Ekonomika
ENassertion
LVapgalvojums
RUутверждение
Definīcija:Predikāts, loģiskā izteiksme vai nosacījums, kuram būtu jābūt patiesam. Apgalvojumus plaši izmanto programmu korektuma pierādījumos. Dažkārt par apgalvojumu sauc arī teikumu programmēšanas valodā.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995