艾佛森括号

✍ dations ◷ 2025-10-25 00:27:59 #数学符号

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

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

相关

吕伐登吕伐登（荷兰语：Leeuwarden、西弗里斯语：Ljouwert）是位于荷兰北部的一座城市和市镇，也是弗里斯兰省的首府，人口91,693（2005年）。阿赫特卡斯珀伦 · 阿默兰 · 丹蒂马代尔 · 德弗里瑟
隐含狄利克雷分布隐含狄利克雷分布（英语：Latent Dirichlet allocation，简称LDA），是一种主题模型，它可以将文档集中每篇文档的主题按照概率分布的形式给出。同时它是一种无监督学习算法，在训练时不需
民讲民讲是壮语的一种，属中部台语支，通行于中国云南省富宁县田蓬镇的部分村落，使用人数大约只有2600人。民讲曾经长期被归为桂边壮语的一种方言，归在北部台语支（英语：Northern Tai lan
克里斯·哈德菲尔德克里斯·奥斯汀·哈德菲尔（Chris Hadfield，1959年8月29日－）是一位加拿大太空人，也是第一个执行太空漫步的加拿大人。他是工程师、加拿大皇家空军战斗机飞行员，并曾担任国际太空站
德国城市列表 (按人口排列)根据1887年国际统计会议的定义，“大型城市”为人口超过100,000的城市，“中型城市”为人口在20,000至100,000之间的城市，“小型城市”为人口在20,000以下的城市。以下所列为人口
东京的地下铁系统地下铁是日本首都东京重要的大众运输系统，也是世界上最繁忙的城市轨道交通系统之一。东京的地下铁主要有下列3种定义，但大多是指定义1：东京是全亚洲最早有地铁路线的城市，最早营
司戴德司戴德（英语：Willard Dickerman Straight，1880年1月31日－1918年12月1日），美国投资银行家、出版人、记者、陆军军官，外交官，曾在大清皇家海关总税务司担任赫德的秘书，后任美国驻沈阳总
蛮夷 (消歧义)蛮夷是古代根据华夷之辨区分的，古代主要指周边少数民族，后来指周围的藩属国。近代以来意义有所扩展，指代西方殖民者。
机器人操作系统ROS（机器人操作系统，Robot Operating System），是专为机器人软件开发所设计出来的一套电脑操作系统架构。它是一个开源的元级操作系统（后操作系统），提供类似于操作系统的服务，包括硬
爱弥儿《爱弥儿：论教育》（），亦有译名作《爱弥尔：论教育》，是让-雅克·卢梭自认为是“我的所有作品中最好、最重要的一部”在很大程度上是一篇关于人类天性的哲学论文，致力于探讨关于个人