Angol-magyar informatikai szótár
| címszavak prompt pronouncing hexadecimal numbers pronunciation pronunciation model proof proof checker proof of algorithms Proof of Concept (PoC) proof of fixed point condition |
találatok
(19db) 0.22mp proof bizonyítás proof checker bizonyítás ellenőrző proof of algorithms algoritmusok helyességének bizonyítása Proof of Concept (PoC) bizonyíték demonstráció proof of fixed point condition fixpont feltételének bizonyítása proof of program programbizonyítás proof of termination befejeződés bizonyítása proof rule bizonyítási szabály proof system bizonyító rendszer bizonyítási rendszer proof-obligation bizonyítandó completeness of a proof procedure bizonyítás eljárás teljessége correctness proof helyesség bizonyítása geometric proof geometriai bizonyítás hierarchical proof hierarchikus bizonyítás idiot-proof bolondbiztos minimum-disclosure proof minimumot felfedő bizonyítás lehető legkevesebbet felfedő bizonyítás nonconstructive proof nemkonstruktív bizonyítás simulation proof szimulációs bizonyítás zero-knowledge proof nullaismeretű bizonyítás |
topszotar.hu
