Iverson notation（艾弗森记号）是一种把逻辑命题/条件写成“取值为 0 或 1 的表达式”的数学记法，常写作 **[P]**：当命题 P 为真时取 1，为假时取 0。在组合数学、离散数学与计算机科学中常用来把“条件”直接嵌入公式中。（也常被称为 Iverson bracket）
/ˈaɪvərsən noʊˈteɪʃən/
Iverson notation turns a condition into a number.
艾弗森记号把一个条件变成一个数字。
Using Iverson notation, we can write the count as (\sum_{i=1}^{n} [a_i > 0]), which adds 1 for each positive element.
用艾弗森记号，我们可以把计数写成 (\sum_{i=1}^{n} [a_i > 0])，对每个正元素加 1。
该记法以美国数学家与计算机科学家 Kenneth E. Iverson（肯尼斯·艾弗森）命名。他在与 APL 语言及数学符号体系相关的著作与文章中推广了这种用“括号表示真假→0/1”的写法。它与数学中的“示性函数/指示函数”（indicator/characteristic function）思想密切相关，只是更偏向用简洁的括号记号来写条件。
Select Language