波蘭表示法

波蘭表示法 ( 或波蘭記法 ） ， 是一種邏輯 、 算術和代數表示方法 ， 其特點是操作符置於操作數的前面 ， 因此也稱做前綴表示法 。 如果操作符的元數 （ arity ） 是固定的 ， 則語法上不需要括號仍然能被無歧義地解析 。 波蘭記法是波蘭數學家揚 · 武卡謝維奇1920年代引入的 ， 用於簡化命題邏輯 。 揚 · 武卡謝維奇本人提到 ： 阿隆佐 · 邱奇在他的經典著作 《 數理邏輯 》 中提出該表達方法是一種值得被關注的記法系統 ， 甚至將它與阿弗烈 · 諾夫 · 懷海德和伯特蘭 · 羅素在 《 數學原理 》 中的邏輯表達式相提並論 。