艾佛森括号

✍ dations ◷ 2025-07-06 12:16:12 #数学符号

在数学中，以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）可被表示为

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

相关

沿岸流沿岸流（英语：longshore current）是指波浪推向岸边，有时波峰列（波列）并不平行海岸线，两者形成的夹角，一波一波的波浪推动成一股贴岸而行的海流。近岸水流的流动方向与碎波区底床地形.
容·达尔·托马森容·达尔·托马森（Jon Dahl Tomasson，1976年8月29日－），一名已退役的丹麦职业足球运动员，司职前锋及攻击中场。现为瑞典俱乐部马尔默的主帅。他成名于荷兰俱乐部费耶诺德，2002年协助
生产资料生产资料（英语：means of production），或称生产方法、生产手段、生产材料、生产要素。生产资料定义为：劳动者进行生产时所需要使用的资源或工具，包括劳动资料（例如土地、厂房、机器
Ka波段1234567891011ELFSLFULFVLFLFMFHFVHFUHFSHFEHFABCDEFGHIJKLMHFVHFUHFLSCXKuKKaQVW根据IEEE 521-2002标准，Ka波段是指频率在26.5–40GHz的无线电波波段。Ka在德语中意为“Kur
北京现代汽车北京现代汽车有限公司（BEIJING-HYUNDAI AUTO，简称“北京现代”），成立于2002年10月18日，是中国加入WTO后被批准的第一个汽车生产领域的中外合资项目，由北京汽车投资有限公司和韩国
第十五初创军团第十五初创军团（拉丁语：Legio XV Primigenia）古罗马军队建制名称。由卡利古拉于公元39年建立并存在至70年。该军团曾先后参加罗马帝国对日耳曼部落战争等一系列相关军事活动，最
厄尔·麦德利厄尔·马丁·麦德利（英语：Earl Martin Madery，1918年8月17日－2014年2月21日）美国音频工程师。他曾因电影大白鲨获得过1次奥斯卡最佳音响效果奖。
科林·麦克雷科林·斯蒂勒·麦克雷，MBE（Colin Steele McRae，1968年8月5日－2007年9月15日），英国拉力赛车手，世界越野锦标赛（WRC）1995赛季总冠军。出身赛车世家的麦克雷是五届英国冠军拉力赛冠军吉
奥勃洛莫夫《奥勃洛莫夫》（俄语：Обломов）是发表于1859年的长篇小说，俄国小说家冈察洛夫的代表作。小说生动地塑造了奥勃洛莫夫这个“多余人”的形象，他善良，正直，对令人窒息的现实不满
张徐张徐（1957年－），男，中国安徽人。一级演员，成都市曲艺团团长、党委书记，中国曲艺家协会会员，四川省曲艺家协会副主席，成都市曲艺家协会常务理事，四川省音乐家协会吉他专业委员会副会长，成