在这些代码中,逻辑值隐式地转换为整型值,计算起来非常方便。 然而,这种写法怎么在数学公式中表示呢?其实数学中确实就有一个记号,叫做艾弗森括号(Iverson bracket),用来表示这种命题真假性到整数集{0,1}的映射。 例如,表示一个集合中大于2的元素个数: