Pola notacio: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
JAnDbot (diskuto | kontribuoj)
e roboto modifo de: en:Polish notation
e
Linio 1:
'''Pola skribmaniero''', ankaŭ sciata kiel '''antaŭmeta operaciskribo''', estas maniero de matematika esprimo. Ĝi estis kreita de [[Jan Łukasiewicz]] plejparte por plisimpligi certajcertajn matematikajmatematikajn pruvojpruvojn. Ĝia specialaĵo estas tio ke ĝi ĉiam lokigas [[operatoro]]jn antaŭ [[Argumento|argumentoj]].
 
Ekzemple, anstataŭ ol "1+2" en la skribmaniero oni uzas ĉi tiun esprimon:
Linio 13:
komputiĝas al [[Kvin|5]].
 
En la ekzemploj pli supre esasestas uzitaj [[parantezoparentezo]]j, tamen unu el avantaĝoj de pola skribmaniero estas tiu ke se [[loknombro]] de ĉiu operatoro estas sciata kaj parantezojparentezoj estas nebezonataj: la [[ordo de operacioj]] estas unika kaj facila por difini. Ekzemple, se operacioj "×" kaj "+" estas duargumentaj, tiam ĉi tiu esprimo:
× + 0 1 + 2 3
povas signifi ''nur'' ĉi tion:
(× (+ 0 1) (+ 2 3))
 
Pola skribmaniero ne havas larĝan aplikon, sed [[mala pola skribmaniero]], aŭ ''postskriba'' skribmaniero, estas uzata en multaj stako-bazitaj [[programlingvo]]j, kaj estas la operacia principo de certacertaj [[kalkulilo]]j.
 
<!--
Kvankam evidenta, ĝi estas grava al (tononomo, noto, noti) (tiu, ke, kiu) la nombro de argumentoj en esprimo devas egalaegali la nombronombron de (operatoroj, operatoras) plus unu, alie la (propozicio, frazo, ordono) (konstruas, faras) ne (senso, senco). Ĉi tiu povas esti facila al (altano, preteratenti) kiam kontraktanta kun pli longa, pli komplikaj esprimoj kun kelkaj (operatoroj, operatoras). Esti certa al duopa kontroli (tiu, ke, kiu) via esprimo (konstruas, faras) (senso, senco) kiam uzanta PolaPolan skribmanieroskribmanieron.
 
==(Mendi, Ordo) de (Operacioj, Operacias)==
Linio 46:
+ A B = + B A
 
Simile, sub ĉi tiu (notacio, skribmaniero), ekde (krampo, parantezojparentezoj) estas ne necesa, la leĝo de Alsuma Asocieco engaĝas la _repositioning_ de (operatoroj, operatoras) al esti esprimita _notationally_ kiel sekvas:
 
+ + A B C = + A + B C