constraint solving technology

Hungarian translation: megszorításmegoldó technológia

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:constraint solving technology
Hungarian translation:megszorításmegoldó technológia
Entered by: Péter Tófalvi

20:07 Jun 20, 2012
English to Hungarian translations [PRO]
Tech/Engineering - Mathematics & Statistics / Microsoft programok
English term or phrase: constraint solving technology
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
Péter Tófalvi
Hungary
Local time: 09:20
megszorításmegoldó technológia
Explanation:
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.
Selected response from:

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



Summary of answers provided
3 +1megszorításmegoldó technológia
Gusztáv Jánvári


  

Answers


54 mins   confidence: Answerer confidence 3/5Answerer confidence 3/5 peer agreement (net): +1
megszorításmegoldó technológia


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

Gusztáv Jánvári
Hungary
Local time: 09:20
Works in field
Native speaker of: Hungarian
PRO pts in category: 43
Grading comment
Köszönöm!

Peer comments on this answer (and responses from the answerer)
agree  Iosif JUHASZ
12 hrs
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