主題
Search

艾弗森括號


S 為一個數學陳述,那麼艾弗森括號定義為

 [S]={0   if S is false; 1   if S is true,
(1)

並且對應於所謂的特徵函式。這種表示法與有時用於表示向下取整函式的括號衝突。(然而,由於向下取整函式向上取整函式符號 |_x_|\[x]\ 的優雅對稱性,使用 [x]\ 來表示 向下取整函式 應該被棄用。)

艾弗森括號在 Wolfram 語言 中作為一個內建函式實現為Boole[S].


另請參閱

向上取整函式, 特徵函式, 向下取整函式

使用 探索

參考文獻

Graham, R. L.; Knuth, D. E.; and Patashnik, O. 具體數學:計算機科學的基礎。 Reading, MA: Addison-Wesley, p. 24, 1990.Iverson, K. E. 一種程式語言。 New York: Wiley, p. 11, 1962.

在 中被引用

艾弗森括號

請引用為

Eric W. Weisstein "艾弗森括號。" 來自 Web 資源。 https://mathworld.tw/IversonBracket.html

主題分類