表示式

✍ dations ◷ 2025-08-03 00:11:12 #Mathematics templates,抽象代数,代数

表示式亦称表达式、运算式或数学表达式,在数学领域中是一些符号依据上下文的规则,有限而定义良好的组合。数学符号可用于标定数字(常量)、变量、操作、函数、括号、标点符号和分组,帮助确定操作顺序以及有其它考量的逻辑语法。

表达式的使用范围从简单的如下列各例:

到很复杂的组合表达式:

数学表达式的各种形式包括了算术、多项式、代数、闭合形式和解析的表达式。下表列出了这些种类中所可能包含的元素。


表达式是一个句法结构,它必须具有良好定义的形式。表达式中的运算符必须在正确位置有正确的输入数,组成这些输入的字符必须是有效的,具有明确的运算次序等。违反语法规则的字符,不会构成有效的数学表达式。例如,在一般算术符号中,表达式是形式良好的,但下面的表达式却没有:

表达式的语义是对语句意义的研究,逻辑语义学是关于所传达的意义。在代数中,可用表达式指定一个值;而这个结果值取决于对式中变量所赋予的值,经由附加语义的运算符操作后以确定该值。语义的选择则根据表达式的上下文。同一个表达式可能会有不同结果(依算数惯例的结果为7,也可能是9),这取决于上下文中隐含的运算次序。

语义规则可以声明某些表达式并无指定值(例如,当它们除以0时);对这表达式称为未定义,但它们仍然以良好的形式表现出来。广义来说,表达式的意义并不局限于指定值;例如,表达式可用于指定条件,表示要被求解的方程,或将其视为可根据某些规则而操作的对象。有指定值的表达式同时也代表了有假设前提,例如与 {\displaystyle \oplus }


数学表达式的评估取决于上下文背景对式中运算符的定义,赋值的定义域和评估结果的域。如果两个表达式之中的变量,对于它们赋值的每一种组合都产生相同的输出,则这两个表达式被认定为相等,即它们实为相同的函数。

例如,表示式 n = 1 3 2 n x {\displaystyle \sum _{n=1}^{3}2nx} 有自由变数 x {\displaystyle x} 、约束变数 n {\displaystyle n} 、常数 1 , 2 , 3 {\displaystyle 1,2,3} 、两个内含的乘法算符和一个总和算符。
此一表示式和另一较简单的表示式 12 x {\displaystyle 12x} 相等。 x = 3 {\displaystyle x=3} 时的值为 36 {\displaystyle 36}

相关

  • 酗酒酗酒(英语:alcoholism),又称酒精使用疾患(alcohol use disorder, AUD)或酒精依赖症候群(alcohol dependence syndrome),其为饮用酒精所致相关问题的广义用语,过去将之分成酒精滥用(英语
  • 伦佐·皮亚诺伦佐·皮亚诺(意大利语:Renzo Piano,1937年9月14日-),意大利建筑师。1998年第二十届普利兹克奖得主。因对热那亚古城保护的贡献,他亦获选联合国教科文组织亲善大使。他出生于热那亚
  • 梅干菜梅菜,也称为梅干菜,是一种中国传统烹饪原料。使用雪里蕻或其他芥菜种类的茎叶,用盐腌制风干而成。一说因在南方梅雨季节制作而得名,另一说是发霉的霉。从口味上又有“甜梅菜”和
  • 亚伯拉罕·林肯亚伯拉罕·林肯(英语:Abraham Lincoln,i/ˈeɪbrəhæm ˈlɪŋkən/,1809年2月12日-1865年4月15日),第十六任美国总统,1861年3月就任,直至1865年4月遇刺身亡。林肯领导美国经历其历
  • 法国电视二台除特别注明外,本文所有时间均以东一区时间(UTC+1)为准。法国电视二台(France 2)是法国国营的电视台公共频道,与法国电视三台,法国电视四台,法国电视五台,法国电视Ô台一样,隶属于国有
  • 过敏症列表过敏症列表包括各种过敏原及其可能进行的反应和治疗方法等内容。
  • 护航航空母舰护航航空母舰(英语:escort carrier)是在第二次世界大战中出现的一种小型航空母舰,通常用于执行保护运输船队免受敌方水面舰艇及水下潜艇攻击的护航任务。护航航空母舰的出现起源
  • 南开大学医院南开大学医院,又称南开大学校医院,为服务南开大学师生及家属的社区医院,院长为南开大学商学院教授齐善鸿。
  • 赵锡成赵锡成(1927年12月29日-),生于中华民国上海市嘉定,拥有中华民国与美国双重国籍,企业家,为福茂集团创办人暨荣誉董事长。赵锡成在上海出生,父亲是一名小学校长。1946年,考取国立交通大
  • 生米镇生米镇,是中华人民共和国江西省南昌市红谷滩区下辖的一个乡镇级行政单位,“中国藠头之乡”就是指生米镇。在1950年代生米镇曾经是新建县的政府所在地。2012年1月11日,南昌市委