19 suhted: Algoritmiline keerukus, Ariane 5, Aritmeetiline operatsioon, Arvutiprogramm, Hulktahukas, Informaatika, Inglise keel, Intervall (matemaatika), Kompilaator, Korrutamine, Lahutamine, Lõim (informaatika), Liitmine, Monotoonne funktsioon, Osaliselt järjestatud hulk, Semantika, Silumine, Täisarv, Võre (matemaatika).
Algoritmiline keerukus
Algoritmiline keerukus näitab, kuidas muutub programmi kiirus ja kasutatav mälumaht programmi sisendandmete kasvades.
Uus!!: Abstraktne interpretatsioon ja Algoritmiline keerukus · Näe rohkem »
Ariane 5
Ariane 5 on Euroopa Kosmoseagentuuri (ESA) kanderakett, mis on võimeline viima lasti geostatsionaarsele- ja Maa-lähedasele orbiidile.
Uus!!: Abstraktne interpretatsioon ja Ariane 5 · Näe rohkem »
Aritmeetiline operatsioon
Aritmeetiline operatsioon ehk aritmeetiline tehe ehk aritmeetikatehe on arvudega sooritatav liitmis-, lahutamis-, korrutamis- või jagamistehe.
Uus!!: Abstraktne interpretatsioon ja Aritmeetiline operatsioon · Näe rohkem »
Arvutiprogramm
Arvutiprogramm (tavaliselt lihtsalt "programm" või "tarkvararakendus") on arvutile arusaadavate käskude kogum.
Uus!!: Abstraktne interpretatsioon ja Arvutiprogramm · Näe rohkem »
Hulktahukas
Hulktahukas ehk polüeeder ehk tahukas on tasandiliste hulknurkadega piiratud kolmemõõtmeline geomeetriline keha.
Uus!!: Abstraktne interpretatsioon ja Hulktahukas · Näe rohkem »
Informaatika
Informaatika ehk arvutiteadus (ka arvutiasjandus; inglise computer science, saksa Informatik, prantsuse informatique) on info struktuuri, hankimist, töötlemist ja esitamist käsitlev teaduse ning tehnika haru.
Uus!!: Abstraktne interpretatsioon ja Informaatika · Näe rohkem »
Inglise keel
Inglise keel (English) on indoeuroopa keelkonda kuuluv läänegermaani keel, mis kujunes välja anglosakside valitsemise ajal Inglismaal.
Uus!!: Abstraktne interpretatsioon ja Inglise keel · Näe rohkem »
Intervall (matemaatika)
Reaalarvud, mis on reaalsirgel reaalarvust ''x'' suuremad ja arvust ''x'' + ''a'' (kus ''a'' on positiivne reaalarv), moodustavad intervalli (vahemiku) Intervall on matemaatikas reaalarvude hulk, milles koos mis tahes kahe sellesse kuuluva arvuga kuuluvad sellesse hulka ka kõik nende vahele jäävad arvud.
Uus!!: Abstraktne interpretatsioon ja Intervall (matemaatika) · Näe rohkem »
Kompilaator
Kompilaator ehk translaator on arvutiprogramm, mis tõlgib (kompileerib) ühes arvutikeeles (lähtekeel) kirjutatud lähtekoodi teise arvutikeelde (sihtkeel, tihti binaarne objektikood).
Uus!!: Abstraktne interpretatsioon ja Kompilaator · Näe rohkem »
Korrutamine
Korrutamiseks ehk korrutamistehteks nimetatakse matemaatikas tehet, mis seisneb võrdsete liidetavate korduvas liitmises, ja selle tehte kõikvõimalikke üldistusi.
Uus!!: Abstraktne interpretatsioon ja Korrutamine · Näe rohkem »
Lahutamine
Matemaatikas nimetatakse lahutamiseks liitmise pöördtehet.
Uus!!: Abstraktne interpretatsioon ja Lahutamine · Näe rohkem »
Lõim (informaatika)
Näide protsessist kahe lõimega läbi aja Lõimed (inglise thread) on informaatikas operatsioonisüsteemi või arvutiprogrammi omadus mitmeks protsessiks, mis eeldab, et protsess operatsioonisüsteemis võib koosneda mitmest striimist, mis täidetakse paralleelselt (sealhulgas täpsustamata on, mis järjekorras protsesse täidetakse).
Uus!!: Abstraktne interpretatsioon ja Lõim (informaatika) · Näe rohkem »
Liitmine
Liitmise all mõeldakse algses tähenduses üht binaarset tehet arvudega (üht aritmeetilist tehet).
Uus!!: Abstraktne interpretatsioon ja Liitmine · Näe rohkem »
Monotoonne funktsioon
Matemaatilises analüüsis nimetatakse reaalmuutuja funktsiooni kasvavaks, kui argumendi kasvades funktsiooni väärtus kasvab, ning kahanevaks, kui argumendi kasvades funktsiooni väärtus kahaneb.
Uus!!: Abstraktne interpretatsioon ja Monotoonne funktsioon · Näe rohkem »
Osaliselt järjestatud hulk
Osaliselt järjestatud hulk ehk järjestatud hulk on hulk P, millel on defineeritud binaarne seos ≤ (osaline järjestus), mis on refleksiivne, transitiivne ja antisümmeetriline, ehk teiste sõnadega, hulga P mis tahes elementide a, b ja c puhul kehtivad tingimused Nii naturaalarvude, täisarvude, ratsionaalarvude ja reaalarvude tavapärane järjestus on osaline järjestus.
Uus!!: Abstraktne interpretatsioon ja Osaliselt järjestatud hulk · Näe rohkem »
Semantika
Semantika ehk tähendusõpetus on keeleteaduse haru, mis uurib.
Uus!!: Abstraktne interpretatsioon ja Semantika · Näe rohkem »
Silumine
Silumine on tarkvaraarenduse protsess, mille käigus leitakse ja parandatakse vigu koodis, mis takistavad programmi või süsteemi korrektset toimimist.
Uus!!: Abstraktne interpretatsioon ja Silumine · Näe rohkem »
Täisarv
Täisarv on arv, mis on esitatav naturaalarvude vahena.
Uus!!: Abstraktne interpretatsioon ja Täisarv · Näe rohkem »
Võre (matemaatika)
Võre on matemaatikas osaliselt järjestatud hulk, milles igal lõplikul mittetühjal alamhulgal on ülemraja (vähim ülemtõke) ja alamraja (suurim alamtõke).
Uus!!: Abstraktne interpretatsioon ja Võre (matemaatika) · Näe rohkem »