“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.
随便看	Daya Bay Experiment day degrees day length Daylight Saving Time Day modulation day-neutral plant day number day-to-day money Dayton Accord day trading dB DB2 DBA d-block elements dBm DBMS D-brane DBR laser DBS dBSPL dBu dBV dBW DC d.c.