Piektdiena, 20. septembris   Šī ir funkcionējoša termini.lza.lv versija. Apmeklējiet arī Latvijas Nacionālo terminoloģijas portālu.
  Sākumlapa
  Terminu datubāze
  Struktūra un principi
  Apakškomisijas
  Sēdes
  Lēmumi
  Protokoli
  Vēstules
  Publikācijas
  Konsultācijas
  Vārdnīcas
  EuroTermBank
  Par portālu
  Kontakti
  Resursi internetā
  «Terminoloģijas Jaunumi»
  Atbalstītāji
  Notikumi
LZA TK termini atrodami Akadēmiskajā terminu datubāzē AkadTerm

Vēlaties portāla jaunumus
saņemt pa e-pastu?
Norādiet savu adresi:

Pakalpojumu nodrošina FeedBlitz

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 Programmas
Atrasts 151 termins

▪ agrovidiskas programmas
▪ ANO programmas un fondi
▪ ANO Vides programmas ES finansētais projekts InTex
▪ ANO Vides programmas Padome
▪ apakštemats (mācību programmas)
▪ Apvienoto Nāciju Organizācijas Augstā komisāra bēgļu jautājumos programmas Izpildu komiteja
▪ atbalsta lēciens (izvēles programmas)
▪ atkalizmantojamības programmas pārvaldības process
▪ attīstības līdzekļi un programmas
▪ datora programmas josla
▪ EIB programmas aizdevums
▪ Eiropas bruņojuma programmas struktūra
▪ Eiropas Savienības Kosmosa programmas aģentūra
▪ Eiropas Savienības Viesu programmas (EUVP) nodaļa
▪ finanšu un operāciju programmas
▪ ierakstītas programmas vadīts
▪ ievadstunda (programmas nodalījuma apskata sākumā)
▪ ievirzes mācību stunda (programmas temata aplūkojuma sākumā)
▪ Ilgtspējīgas attīstības programmas 2030. gadam jautājumu darba grupa
▪ Insider programmas dalībnieks
▪ integrētas programmas
▪ izglītības programmas standarts
▪ izrāžu un koncertu programmas
▪ izvēles programmas atbalsta lēciens
▪ Jaunas programmas
▪ Jaunas programmas tieši jums
▪ Jaunas programmas un spēles
▪ Jaunas programmas un spēles tieši jums
▪ Jaunas un pieprasītas programmas
▪ Kalendāra programmas
▪ koncentriskā programmas uzbūve
▪ konferanss (programmas vadīšana)
▪ Kopienas horizontālās programmas
▪ lineārais programmas sastādīšanas veids
▪ lineārais programmas uzbūves veids
▪ lineārā programmas uzbūve
▪ (mācību programmas) nodalījums
▪ mācību programmas temats
▪ Manas programmas
▪ Microsoft 365 programmas
▪ Microsoft 365 programmas darbam
▪ Microsoft 365 programmas lieluzņēmumiem
▪ Microsoft viesošanas programmas biļetens
▪ Mixer programmas līgums
▪ MSN programmas
▪ obligātais (klasifikācijas programmas) atbalsta lēciens
▪ obligātās (klasifikācijas) programmas vingrojumi
▪ obligātās programmas atbalsta lēciens
▪ Office Insider programmas dalībnieks
▪ operators (programmas)
▪ pārklāt (programmas daļu)
▪ paskaidrojumi (pie mācību programmas)
▪ Piedāvātās programmas
▪ pilnveidot izvēles programmas vingrojumu izpildi
▪ platforma Microsoft Azure programmas Cloud Essentials partneriem
▪ Populārākās bezmaksas programmas
▪ Populārākās maksas programmas
▪ Populārākās programmas
▪ Populāras programmas
▪ Populāras programmas tieši jums
▪ Programmas
▪ programmas, novērtējuma un pārskata metodes analīze
▪ programmas, novērtējuma un pārskata metodes shēma
▪ Programmas 2030. gadam jautājumu darba grupa
▪ programmas adapteris
▪ programmas aizdevums
▪ programmas aizsardzības politika
▪ programmas "Apvārsnis" balva par dzinēju modernizāciju tīrākam gaisam
▪ Programmas asociētā trešā valsts
▪ programmas atbalsta darbība
▪ programmas atbalsta izdevumi
▪ [programmas] atbilstības pārbaude
▪ [programmas] bloks
▪ Programmas bloķēšana
▪ programmas cikls
▪ programmas disks
▪ programmas drošības instrukcija
▪ programmas fails
▪ programmas gadadienas datums
▪ programmas ielāde
▪ programmas ierakstvide
▪ Programmas Internet Explorer administrēšanas komplekts
▪ programmas izmaksas
▪ programmas izmēģināšana
▪ programmas izpilde
▪ (programmas ) izpilde
▪ (programmas) izpildes reize
▪ programmas izstrādāšana
▪ Programmas “Jautājumi un atbildes” apmācība
▪ programmas komanda
▪ programmas komplekts
▪ programmas konstante (sk. t.)
▪ programmas konteiners
▪ programmas korektuma pierādījums
▪ programmas kvalitātes novērtēšana
▪ programmas mācību viela
▪ programmas mehānisms
▪ programmas modelis
▪ programmas modulis
▪ programmas nepieejamība
▪ programmas nesējs
▪ programmas [noteiktais] minimums
▪ programmas notikums
▪ programmas novērtējums
▪ (programmas) numurs
▪ programmas objekts
▪ programmas objektu koks
▪ programmas organizācija
▪ programmas pakāpjveida uzbūve
▪ programmas pakotne
▪ programmas pārbaude
▪ programmas pārtraukumpunkts
▪ programmas piesaiste
▪ programmas priekšskatījums
▪ programmas projektēšana
▪ programmas regulators
▪ programmas sākumielāde
▪ programmas segments
▪ programmas shēma
▪ programmas skaņošana
▪ programmas slānis
▪ programmas specifikācija
▪ programmas translēšana
▪ Programmas un kontroldarbi
▪ programmas uzturēšanas rokasgrāmata
▪ programmas vadītājs
▪ programmas valsts
▪ [programmas] vārds
▪ programmas vietne
▪ programmas Windows Insider dalībnieks
▪ radiofona (programmas) trakts
▪ Rīcības programma Eiropas Savienības Teritoriālās attīstības programmas īstenošanai
▪ sadarbības programmas
▪ sējumu platību ierobežošanas programmas
▪ sistēmas programmas
▪ skaitļotāja programmas blokshēma
▪ statistiskās informācijas valsts programmas
▪ struktūrfondu programmas aizdevums
▪ trenēšanās obligātās programmas vingrojumu izpildē
▪ tūlītējas ziņojumapmaiņas programmas
▪ uzņēmuma programmas
▪ uzņēmuma programmas integrācija
▪ uzstādīšanas programmas inicializācijas fails
▪ Veselības aizsardzības programmas izpildaģentūra
▪ Visaugstāk novērtētās programmas
▪ Visbiežāk atvērtās programmas
▪ Visbiežāk iznomātās programmas
▪ Vispopulārākās programmas
▪ Visvairāk pārdotās programmas
▪ Visvairāk pirktās programmas
▪ žāvēšanas programmas regulators
  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
© 2005–2024 Latvijas Zinātņu akadēmija