programmēšanas teorija vārdkoptermins; joma: informātika
programmēšanas teorija
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.
Avoti: D3