EN programming theory
LV programmēšanas teorija
RU теория программирования
Definīcija: Zinātnes nozare, kas pēta programmēšanas pamatprincipus, izmantojot formālas matemātiskas metodes. Galvenie pētījumu objekti: programmēšanas valodu semantika, programmu korektuma pierādījumi, programmu specifikācija, programmu translēšana un programmēšanas metodoloģija.
LZA TK ITTEA terminu datubāze
EN programming theory
LV programmēšanas teorija
RU теория программирования
Definīcija: Zinātnes nozare, kas pēta programmēšanas pamatprincipus, izmantojot formālas matemātiskas metodes. Galvenie pētījumu objekti: programmēšanas valodu semantika, programmu korektuma pierādījumi, programmu specifikācija, programmu translēšana un programmēšanas metodoloģija.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995