Glossary entry

English term or phrase:

applicative array

Hungarian translation:

applikatív tömb

Added to glossary by Péter Tófalvi
Jun 20, 2012 20:05
11 yrs ago
1 viewer *
English term

applicative array

English to Hungarian Tech/Engineering Mathematics & Statistics 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: alkalmazott tömbök
Proposed translations (Hungarian)
3 applikatív tömb

Proposed translations

1 hr
Selected

applikatív tömb

Az applikatív nyelvek a funkcionális nyelvek egyik csoportját képezik, a funkcionális nyelvek gyakorlatilag formulákból (és nem utasításokból) álló programnyelvek, mint az Excel képletei. Az applicative array vagy egy ezekhez kapcsolódó szerkezet, vagy pedig valamilyen értelemben alkalmazkodó lehet még, de szerintem biztosan nem alkalmazott tömb (mert annak nem is igazán tudnék értelmet adni).
Something went wrong...
4 KudoZ points awarded for this answer. Comment: "Köszönöm!"
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search