Angol-magyar informatikai szótár
címszavak AWE (Advanced Waveffect) awk AWT (Abstract Window Toolkit) axes axiom axiom of choice axiom of substitution axiomatic semantics axiomatic specification |
találatok
(22db) 0.56mp axiom axióma axiom of choice kiválasztási axióma axiom of substitution helyettesítési axióma axiomatic semantics axiomatikus szemantika axiomatic specification axiomatikus leírás axiomatikus specifikáció axiomatikus leírás / meghatározás / specifikáció axiomatizable axiomatizálható axiomatization axiomatizálás axiomatize axiomatizál axioms for floating point arithmetic axiómák a lebegőpontos aritmetikához axioms of floating point arithmetic lebegőpontos aritmetika axiómái axioms of probability valószínűségszámítás axiómái action exclusion axiom cselekvéskizáró axióma effect axiom hatásaxióma [szituációkalkulusban] finite basis axiom véges bázis axiómája frame axiom keretaxióma [szituációkalkulusban] possibility axiom lehetőségi axióma [szituációkalkulusban] precondition axiom előfeltétel axióma successor-state axiom követő állapot axióma terminological axiom terminológiai axióma unique action axiom egyedi cselekvés axióma [logikában] unique names axiom egyedi elnevezések axiómája [logikában] unique string axiom egyedi füzér axióma [logikában] |
topszotar.hu