GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW) | ||||||
---|---|---|---|---|---|---|
|
20:22 Jun 20, 2012 |
English to Hungarian translations [PRO] Tech/Engineering - Mathematics & Statistics / Microsoft programok | |||||||
---|---|---|---|---|---|---|---|
|
| ||||||
| Selected response from: Gusztáv Jánvári Hungary Local time: 06:23 | ||||||
Grading comment
|
Summary of answers provided | ||||
---|---|---|---|---|
4 | kvantorpéldányosítási eljárások felhasználásával |
|
Discussion entries: 3 | |
---|---|
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 |
| |
Grading comment
| ||
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.