leveraging quantifier instantiation

Hungarian translation: kvantorpéldányosítási eljárások felhasználásával

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
Entered by: Péter Tófalvi

20:22 Jun 20, 2012
English to Hungarian translations [PRO]
Tech/Engineering - Mathematics & Statistics / Microsoft programok
English term or phrase: leveraging quantifier instantiation
"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/
Péter Tófalvi
Hungary
Local time: 20:21
kvantorpéldányosítási eljárások felhasználásával
Explanation:
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.
Selected response from:

Gusztáv Jánvári
Hungary
Local time: 20:21
Grading comment
Köszönöm!
4 KudoZ points were awarded for this answer



Summary of answers provided
4kvantorpéldányosítási eljárások felhasználásával
Gusztáv Jánvári


Discussion entries: 3





  

Answers


46 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5
by leveraging quantifier instantiation procedures
kvantorpéldányosítási eljárások felhasználásával


Explanation:
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.


    https://www.google.hu/search?q=leveraging+quantifier+instantiation&sourceid=ie7&rls=com.microsoft:en-US:IE-ContextMenu&ie=&oe=&rlz=1I7IRFE_e
Gusztáv Jánvári
Hungary
Local time: 20:21
Works in field
Native speaker of: Hungarian
PRO pts in category: 43
Grading comment
Köszönöm!
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search