艾佛森括号

✍ dations ◷ 2025-02-23 16:42:13 #数学符号

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

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

相关

Os4f14 5d6 6s22, 8, 18, 32, 14, 2蒸气压第一：840 kJ·mol−1 第二：1600 kJ·mol主条目：锇的同位素锇（Osmium，旧译作銤、鐭）是一种化学元素，符号为Os，原子序为76。锇金属坚硬、易
台语文史台语白话文，或称为台湾话文、台语文、台文，是一种符合并融合台湾话语法、本身词汇以及外来词汇的书面文系统，主要流行于台湾、福建、广东一带、新加坡以及马来西亚。传统的台语
链球菌快速检测链球菌快速检测（英文：Rapid strep test，简称RST）是临床上广泛用于辅助诊断链球菌性咽炎的快速抗原侦测检验（英语：rapid antigen test）（RADT），该病的致病原为A群链球菌（英语：group A stre
提塔利克鱼属提塔利克鱼属（属名：，转写自伊努克提图特语：ᑎᒃᑖᓕᒃ）是一种已灭绝的早期鱼类，生存于泥盆纪晚期，拥有许多类似两生类的特征，一些保存良好的化石于2004年在加拿大北部的埃尔斯米尔岛
GIRLS' GENERATION 'THE BEST LIVE' at TOKYO DOMEGIRLS' GENERATION 'THE BEST LIVE' at TOKYO DOME是韩国女子组合少女时代日本出道四周年演唱会。在2014年8月25日, SM娱乐宣布少女时代将会于东京巨蛋举行日本出道四周年演
科林斯运河科林斯运河（希腊语：Διώρυγα της Κορίνθου）是横穿希腊科林斯地峡的一条运河，它将伯罗奔尼撒半岛与希腊大陆分割开来，使得伯罗奔尼撒半岛实际上成为了一个岛。科
鸦儿崖乡鸦儿崖乡是中华人民共和国山西省大同市南郊区下辖的一个乡。鸦儿崖乡下辖14个村鸦儿崖村、常流水村、魏家沟村、马林涧村、乔村、兴胜沟村、双井沟村、盘道村、高驼村、黑流
波利亚计数定理波利亚计数定理（英语：Pólya enumeration theorem，简称PET）用来研究不同着色方案的计数问题，它是组合数学中的一个重要的计数公式，是伯恩赛德引理的一般化，由波利亚·哲尔吉在1937
卡普凯克峰坐标：80°42′S 158°36′E / 80.700°S 158.600°E / -80.700; 158.600卡普凯克峰（英语：Cupcake Peaks），是南极洲的山峰，位于沙克尔顿海岸，属于丘吉尔山脉的一部分，海拔高度1,391米
梅塞德斯·德·阿考斯塔梅塞德斯·德·阿考斯塔（Mercedes de Acosta，1893年3月1日－1968年5月9日）是一位美国诗人、剧作家、服装设计师和上流人士。阿考斯塔制作过四部戏剧，发表过一部小说和三本诗集。阿