This site uses cookies. Some of these cookies are essential to the operation of the site, while others help to improve your experience by providing insights into how the site is being used. For more information, please see the ProZ.com privacy policy.
Cookie settings
propositional satisfiability
franchised distributor
This question was closed without grading. Reason: No acceptable answer
Jun 29, 2012 18:07
11 yrs ago
English term

linear arithmetic over...

English to Polish Science Mathematics & Statistics
...the reals and integers

Ponownie nie mogę podać pełnego zdania jako kontekstu z powodu umowy o poufności.
Proposed translations (Polish)
2 arytmetyka Presburgera
2 programowanie liniowe...

Discussion

Maciek Drobka (asker) Jul 2, 2012:
Nie wiem... To wygląda na frazę rzeczownikową, jako jedna z cech/funkcji produktu wymienionych po przecinku.
M.A.B. Jul 2, 2012:
No tak, ale pytałem się nie bez powodu, bo wiedząc coś więcej może byłbym w stanie pomóc, a tak - nie było to możliwe...
Maciek Drobka (asker) Jul 2, 2012:
@Remolek Wątpię, czy się o tym dowiem, ale jeśli tak, to nie omieszkam poinformować -- sam jestem ciekaw.
Maciek Drobka (asker) Jul 2, 2012:
Bo się na tym totalnie nie znam. To jest klops na ok. 500 słów w projekcie, który ma ogółem 15 tys. i w 14,5 tys. czuję się jak ryba w wodzie, a w tych 500 -- jak ryba w... czym innym.
Remolek Jul 2, 2012:
Może klauza pozwoli chociaż napisać, czy korektor lub klient coś wymyślił?
M.A.B. Jul 2, 2012:
Świetnie Ale dlaczego Ty nie miałeś wkładu w dyskusję?
Maciek Drobka (asker) Jul 2, 2012:
Zamykam pytanie... ...bez wybrania odpowiedzi zgodnie z poleceniem mojego bezpośredniego klienta: w przypadku wątpliwości rozstrzygający będzie głos korektora. Nie wiem, czy korektor będzie mądrzejszy ode mnie, ale robię jak klient kazał.

Bardzo dziękuję za wkład w dyskusję i przepraszam za taki a nie inny obrót sprawy.
M.A.B. Jun 29, 2012:
Ale co jest linear arithmetic? Przestrzeń, równanie, ...?

Proposed translations

5 hrs
English term (edited): linear arithmetic

arytmetyka Presburgera

This I think is correct over the Integers, but I'm not sure that it can be used over the Rationals, let alone the Reals.

--------------------------------------------------
Note added at 5 hrs (2012-06-29 23:16:39 GMT)
--------------------------------------------------

FO(Z, +,<) is "arytmetyka Presburgera" but what you seem to need is FO(R, +,<) - I'm not clear how best to express that in English, let alone Poish :-)

--------------------------------------------------
Note added at 5 hrs (2012-06-29 23:21:47 GMT)
--------------------------------------------------

FO(R;Z;+;<)

--------------------------------------------------
Note added at 5 hrs (2012-06-29 23:24:51 GMT)
--------------------------------------------------

B. Boigelot, S. Jodogne, and P. Wolper. An eff ective decision procedure for linear arithmetic over the integers and reals.

B. Boigelot and P. Wolper. Representing arithmetic constraints with finite automata: an overview.

--------------------------------------------------
Note added at 5 hrs (2012-06-29 23:41:08 GMT)
--------------------------------------------------

"linear arithmetic" usually means the quantifier-free subset of Presburger arithmetic.

http://pl.wikipedia.org/wiki/Ciało_(formalnie)_rzeczywiste

--------------------------------------------------
Note added at 5 hrs (2012-06-29 23:49:34 GMT)
--------------------------------------------------

To summarize - what I think we're looking for is the Polish equivalent of FO(R;Z;+;<)!!!
Reference:

http://pl.wikipedia.org/wiki/Arytmetyka_Presburgera

Peer comment(s):
neutral Remolek : Tutaj http://www.inf.ethz.ch/personal/felixkl/papers/stacs08.pdf arytmetykę P. podają jako tylko w całkowitych. Mam wrażenie, że to wyłącznie jeden przykład "arytmetyki liniowej".
19 mins
Yes, it's a special case for Z where I think what's needed is Z+R. But I can't seem to get any closer :-(
Something went wrong...
5 hrs

programowanie liniowe...

"całkowito-/rzeczywistoliczbowe" lub "w liczbach całkowitych/rzeczywistych". Wydaje się, że "linear arithmetic" i "linear programming" są używane zamiennie w literaturze anglojęzycznej. Np. drugi z odnośników ma podane w przykładzie słowa kluczowe, ale ang. "MIXED-INTEGER PROGRAMMING" znajdziemy w literaturze także jako "MIXED-INTEGER linear arithmetic".
Niestety nie moja specjalność, więc odpowiedź nie 100% pewna.

--------------------------------------------------
Note added at 21 hrs (2012-06-30 15:36:32 GMT)
--------------------------------------------------

W odniesieniu do "over integers": słownik podręczny WNT pisze też o "programowaniu całkowitym".
Example sentence:

Slowa kluczowe angielskie MIXED INTEGER PROGRAMMING, Slowa kluczowe polskie: PROGRAMOWANIE LINIOWE CAŁKOWITOLICZBOWE,

Reference:

http://pl.wikipedia.org/wiki/Programowanie_liniowe

http://baztech.icm.edu.pl/baztech/cgi-bin/btgetdoc.cgi?AGH1-0012-0089

Peer comment(s):
neutral DLyons : I think this is a very different application area.
1 min
It is consistent with the context of constraint problems and SAT problems from the other questions. Eg. CLP=constraint logic PROGRAMMING. It's all the same field to me. Thanks for the response.
Something went wrong...
Close search
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search