“Polish notation”的概念、定义、翻译、参考文献-科学参考

Polish notation

Computer

A form of notation, invented by the Polish mathematician Jan Lukasiewicz, in which each operator precedes its operands, e.g.
$a + b is expressed as + a b$
If all operators take exactly two operands, or if each operator has a specific number of operands, then no brackets are required since the order of evaluation is always uniquely defined; the notation can then be described as parenthesis-free. See also reverse Polish notation.

Philosophy

Logical notation devised by the Polish logician Jan Łukasiewicz which dispenses with the need for parentheses indicating the scope of each logical connective. The propositional functors are N for ¬ (negation); K for & (conjunction); C for → (implication); and E for ↔ (equivalence). Each precedes the symbols to which it applies, and since there is a definite number of these, no scope ambiguity can arise. Thus CKpqr reads (p & q)→r. The different p & (q → r) would be KpCqr. The quantifiers are Π‎xFx and Σ‎xFx. Although intellectually elegant, Polish notation is hard to read without practice, and is not widely used.

单词	Polish notation
释义	Polish notation Computer A form of notation, invented by the Polish mathematician Jan Lukasiewicz, in which each operator precedes its operands, e.g. $a + b is expressed as + a b$ If all operators take exactly two operands, or if each operator has a specific number of operands, then no brackets are required since the order of evaluation is always uniquely defined; the notation can then be described as parenthesis-free. See also reverse Polish notation. Philosophy Logical notation devised by the Polish logician Jan Łukasiewicz which dispenses with the need for parentheses indicating the scope of each logical connective. The propositional functors are N for ¬ (negation); K for & (conjunction); C for → (implication); and E for ↔ (equivalence). Each precedes the symbols to which it applies, and since there is a definite number of these, no scope ambiguity can arise. Thus CKpqr reads (p & q)→r. The different p & (q → r) would be KpCqr. The quantifiers are Π‎xFx and Σ‎xFx. Although intellectually elegant, Polish notation is hard to read without practice, and is not widely used.
随便看	AUP AURA Aura Aurangzeb (1618–1707) Aurelian (c.215–75) Aurelius, Marcus (121–80) Aurelius, Marcus (ad 121–80) aureole auric compounds auricle auriferous Auriga Aurignacian Aurobindo Ghose (1872–1950) Aurora aurora Aurora 7 auroral oval auroral substorm aurous compounds Ausgleich (1867) AUSSAT Aussonderungsaxiom austenite austenitic stainless steel