Glossary entry (derived from question below)
angol term or phrase:
constraint solving technology
magyar translation:
megszorításmegoldó technológia
Added to glossary by
Péter Tófalvi
Jun 20, 2012 20:07
11 yrs ago
angol term
constraint solving technology
angol - magyar
Műszaki
Matematika és statisztika
Microsoft programok
Innen:
http://research.microsoft.com/en-us/um/redmond/projects/z3/
"Z3 integrates efficient constraint solving technologies for propositional satisfiability, free functions, linear arithmetic over the reals and integers, bit-vectors, algebraic data-types, and applicative arrays."
Vázlatos ford.:
"A Z3 hatékony korlátozáskezelő technológiákat biztosít a feltételezések kielégíthetősége, szabad függvények, valós és egész számok lineáris aritmetikája, bit-vektorok, algebrai adattípusok, és alkalmazott tömbök témakörökben."
Tipp: korlátozáskezelő technológia
http://research.microsoft.com/en-us/um/redmond/projects/z3/
"Z3 integrates efficient constraint solving technologies for propositional satisfiability, free functions, linear arithmetic over the reals and integers, bit-vectors, algebraic data-types, and applicative arrays."
Vázlatos ford.:
"A Z3 hatékony korlátozáskezelő technológiákat biztosít a feltételezések kielégíthetősége, szabad függvények, valós és egész számok lineáris aritmetikája, bit-vektorok, algebrai adattípusok, és alkalmazott tömbök témakörökben."
Tipp: korlátozáskezelő technológia
Proposed translations
(magyar)
3 +1 | megszorításmegoldó technológia | Gusztáv Jánvári |
Proposed translations
+1
54 perc
Selected
megszorításmegoldó technológia
Feltételezve, hogy a http://en.wikipedia.org/wiki/Constraint_satisfaction_problem cikkbeli témakörhöz kapcsolódik, ezt a constraintet megszorításnak lehet nevezni.
Egyébként a propositional satisfiability-t is másképpen írnám, mégpedig propozícionális kielégíthetőségnek vagy logikai kielégíthetőségnek (http://en.wikipedia.org/wiki/Boolean_satisfiability_problem)... az aritmetikás részt pedig a "valós és az egész számok halmazán operáló lineáris aritmetikának". Az applicative array-t pedig applikatív tömbnek, az biztos nem alkalmazást jelent itt.
Egyébként a propositional satisfiability-t is másképpen írnám, mégpedig propozícionális kielégíthetőségnek vagy logikai kielégíthetőségnek (http://en.wikipedia.org/wiki/Boolean_satisfiability_problem)... az aritmetikás részt pedig a "valós és az egész számok halmazán operáló lineáris aritmetikának". Az applicative array-t pedig applikatív tömbnek, az biztos nem alkalmazást jelent itt.
4 KudoZ points awarded for this answer.
Comment: "Köszönöm!"
Something went wrong...