propositional satisfiability

Hungarian translation: propozícionális | bináris | logikai kielégíthetőség

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:propositional satisfiability
Hungarian translation:propozícionális | bináris | logikai kielégíthetőség
Entered by: Péter Tófalvi

20:06 Jun 20, 2012
English to Hungarian translations [PRO]
Tech/Engineering - Mathematics & Statistics / Microsoft programok
English term or phrase: propositional satisfiability
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: feltételezések kielégíthetősége
Péter Tófalvi
Hungary
Local time: 01:01
propozícionális | bináris | logikai kielégíthetőség
Explanation:
A http://www.proz.com/kudoz/english_to_hungarian/mathematics_s... kérdésre írt válasz és a http://en.wikipedia.org/wiki/Boolean_satisfiability_problem) alapján.

A három lehetőség kvázi szinonima.
Selected response from:

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



Summary of answers provided
5propozícionális | bináris | logikai kielégíthetőség
Gusztáv Jánvári


Discussion entries: 1





  

Answers


1 hr   confidence: Answerer confidence 5/5
propozícionális | bináris | logikai kielégíthetőség


Explanation:
A http://www.proz.com/kudoz/english_to_hungarian/mathematics_s... kérdésre írt válasz és a http://en.wikipedia.org/wiki/Boolean_satisfiability_problem) alapján.

A három lehetőség kvázi szinonima.


    Reference: http://en.wikipedia.org/wiki/Boolean_satisfiability_problem)...
    Reference: http://www.proz.com/kudoz/english_to_hungarian/mathematics_s...
Gusztáv Jánvári
Hungary
Local time: 01:01
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