Svētdiena, 22. decembris   Šī ir funkcionējoša termini.lza.lv versija. Apmeklējiet arī Latvijas Nacionālo terminoloģijas portālu.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 


Akadēmiskā terminu datubāze AkadTerm

 Palīdzība
Izmantojiet zvaigznīti * vārda daļu meklēšanai (piemēram, dator* vai *pratība)
Jūs meklējāt proof
Atrasti 126 termini

proof

  1. EN program correctnes proof
    LV programmas korektuma pierādījums
    RU доказательство правильности программы
    Definīcija: Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
    LZA TK ITTEA terminu datubāze

  2. EN program correctnes proof
    LV programmas korektuma pierādījums
    RU доказательство правильности программы
    Definīcija: Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
    Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995