艾佛森括号

✍ dations ◷ 2025-04-25 22:18:24 #数学符号

在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲，

此处是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。

艾弗森括号通过自然的映射 ${\textbf {false}}\mapsto 0;{\textbf {true}}\mapsto 1$ > 1有效，但是右边有 1/2 对于 = 1。为了得到一个一切正整数n都成立的恒等式，可以利用艾弗森括号补充等式：

克罗内克函数 : $\delta _{ij}=.$ $\delta _{{ij}}=.$

符号函数和单位阶跃函数：

最值与绝对值：

上下取整函数：

麦考利括号（英语：Macaulay brackets）可被表示为

实数的三分律等价于下面的恒等式：

相关

同化激素蛋白同化甾类（英语：Anabolic steroid）是一种能够促进细胞的生长与分化，使肌肉扩增，甚至是骨头的强度与大小的甾体激素。同化激素是由天然来源的雄性激素经结构改造，降低雄激素活性
格列美脲马尔胰（Amaryl）是一种硫酰基尿素类(Sulfonylurea)的糖尿病药物。主要成分为Glimepiride 。用来主治第二型糖尿病。
711年前9世纪 | 前8世纪 | 前7世纪前730年代前720年代 | 前710年代 | 前700年代前690年代前716年前715年前714年前713年前712年 | 前711年 | 前710年前709年前708年前
安杰丽卡·休斯顿安杰丽卡·休斯顿（英语：Anjelica Huston，1951年7月8日－）是一位美国女演员，曾因主演1985年的电影《普里兹家族的荣誉（英语：Prizzi's Honor）》获得第58届学院奖女配角奖，由此成为继她的
迪尔克·沃尔克茨祖恩·库恩赫特迪尔克·沃尔克茨祖恩·库尔赫特（荷兰语：Dirck Volkertsz. Coornhert，1522年－1590年），文艺复兴时期欧洲翻译家、诗人、剧作家和版画家。他曾把若干古典作品与意大利作品，包括薄伽丘
车梦瑶车梦瑶（16世纪－1630年代），字玉符，江西抚州府金谿县榉林乡人，明朝政治人物。车梦瑶在万历四十三年（1615年）中举人，天启二年（1622年）成进士，获授平江知县，升任礼部主事，负责册封益定王朱由木
怀疑论怀疑主义（古希腊语：σκέπτομαι，拉丁转写：sképtomai，英语：Skepticism），是普遍地向知识、事件、意见或信仰持疑问的态度，或怀疑一些理所当然的主张。哲学怀疑论就是一种要求所
阮福㫕阮福㫕（越南语：Nguyễn Phúc Quang／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H
陈之鼐陈之鼐（？－？），清代末科进士，广东番禺崇文廿四乡南滘人，生卒年不详。陈之鼐少时父母双亡，在南滘之伯父供其读书。光绪二十七年参加乡试中举人。光绪三十年（1904年）中二甲第进士。曾任六品
刷剧疯狂观看（英语：binge-watching），也被称为马拉松观看、刷剧、追剧，是指长时间观看多集电视节目或网络节目的行为，通常是指连续观看同一部电视剧集或网络剧集。最早在2014年二月的一