Iverson Bracket [P] 1 if P is true; 10 otherwise n≤网= ∫1， ifn≤m ifn>m Kenneth Eugene Iverson (1920~2004) Hengfeng Wei (hfweignju.edu.cn) 2-3 Counting March12,20208/34Iverson Bracket Kenneth Eugene Iverson (1920 ∼ 2004) [P] = ( 1, if P is true; 0, otherwise [n ≤ m] = ( 1, if n ≤ m; 0, if n > m Hengfeng Wei (hfwei@nju.edu.cn) 2-3 Counting March 12, 2020 8 / 34