Glossary entry (derived from question below)
English term or phrase:
leveraging quantifier instantiation
Hungarian translation:
kvantorpéldányosítási eljárások felhasználásával
Added to glossary by
Péter Tófalvi
Jun 20, 2012 20:22
11 yrs ago
1 viewer *
English term
leveraging quantifier instantiation
English to Hungarian
Tech/Engineering
Mathematics & Statistics
Microsoft programok
"It can be used for checking satisfiability of logical formulas with quantifiers, as well by leveraging quantifier instantiation procedures, saturation, and quantifier-elimination procedures for reals, integers, and algebraic datatypes."
Nagyon vázlat:
"Alkalmazható a kvantifikátorokat tartalmazó logikai képletek kielégíthetőségének ellenőrzésére, valamint kvantifikátor instantiation eljárások normalizálására (?), telítettség, és kvantifikátor-kiküszöbölő eljárásokra valós és egész számok, és algebrai adattípusok esetén."
Ld. még:
http://research.microsoft.com/en-us/um/redmond/projects/z3/
Nagyon vázlat:
"Alkalmazható a kvantifikátorokat tartalmazó logikai képletek kielégíthetőségének ellenőrzésére, valamint kvantifikátor instantiation eljárások normalizálására (?), telítettség, és kvantifikátor-kiküszöbölő eljárásokra valós és egész számok, és algebrai adattípusok esetén."
Ld. még:
http://research.microsoft.com/en-us/um/redmond/projects/z3/
Proposed translations
(Hungarian)
4 | kvantorpéldányosítási eljárások felhasználásával | Gusztáv Jánvári |
Proposed translations
46 mins
English term (edited):
by leveraging quantifier instantiation procedures
Selected
kvantorpéldányosítási eljárások felhasználásával
A quantifier itt a logikában kvantornak nevezett dolgot (létezik, ill minden, azaz egzisztenciális és univerzális kvantor) jelenti, a quantifier instantiation kvantorpéldányosítás (ld. a ref-be tett gugli-keresést, vagy egyszerűbben: keress rá a kvantor példányosítás szavakra). A leverage az ilyen eljárások felhasználására vonatkozik.
A kvantifikátort mindenképp kvantorra írnám át, a képlet helyett pedig mindenképp formulát írnék, ezek elég alapvető matematikai terminusok szerintem.
A kvantifikátort mindenképp kvantorra írnám át, a képlet helyett pedig mindenképp formulát írnék, ezek elég alapvető matematikai terminusok szerintem.
4 KudoZ points awarded for this answer.
Comment: "Köszönöm!"
Discussion
Az instantiate pedig nem példát vagy bemutatást jelent, hanem egy olyan mechanizmus/módszer, amivel pl egy univerzális kvantornál veszel egy-egy konkrét esetet, vagyis példányosítod a formuládat (az x helyére konkrét értékeket írsz), és megmutatod rá, hogy igaz rá az az állítás, ami az univerzális kvantorral "felszerelt" általános formulában igaz. Tehát ez az instantiation elvét tekintve az objektumorientáltság példányosítás fogalmához hasonlít, ahol szintén azt jelenti, hogy konkrét értékekkel látsz el egy általános valamit (osztályt).
Így megalapozottan merem állítani, hogy a címbeli kifejezés csak kvantorpéldányosítás alakban állja meg a helyét.
q.e.d. :)
Fordítás, eddig:
"Használható a kvantorokat tartalmazó logikai formulák kielégíthetőségének ellenőrzésére, valamint valós és egész számokkal, algebrai adattípusokkal, és telítettséggel kapcsolatos kvantorpéldányosítási és kvantor-kiküszöbölő eljárásoknál."
leveraging = itt szerintem "hatékonyabbá tétel"