首页 >
表达式
✍ dations ◷ 2025-09-10 12:08:13 #表达式
表示式亦称表达式、运算式或数学表达式,在数学领域中是一些符号依据上下文的规则,有限而定义良好的组合。数学符号可用于标定数字(常量)、变量、操作、函数、括号、标点符号和分组,帮助确定操作顺序以及有其它考量的逻辑语法。表达式的使用范围从简单的如下列各例:到很复杂的组合表达式:数学表达式的各种形式包括了算术、多项式、代数、闭合形式和解析的表达式。下表列出了这些种类中所可能包含的元素。表达式是一个句法结构,它必须具有良好定义的形式。表达式中的运算符必须在正确位置有正确的输入数,组成这些输入的字符必须是有效的,具有明确的运算次序等。违反语法规则的字符,不会构成有效的数学表达式。例如,在一般算术符号中,表达式1 + 2 × 3是形式良好的,但下面的表达式却没有:表达式的语义是对语句意义的研究,逻辑语义学是关于所传达的意义。在代数中,可用表达式指定一个值;而这个结果值取决于对式中变量所赋予的值,经由附加语义的运算符操作后以确定该值。语义的选择则根据表达式的上下文。同一个表达式1 + 2 × 3可能会有不同结果(依算数惯例的结果为7,也可能是9),这取决于上下文中隐含的运算次序。语义规则可以声明某些表达式并无指定值(例如,当它们除以0时);对这表达式称为未定义,但它们仍然以良好的形式表现出来。广义来说,表达式的意义并不局限于指定值;例如,表达式可用于指定条件,表示要被求解的方程,或将其视为可根据某些规则而操作的对象。有指定值的表达式同时也代表了有假设前提,例如与
⊕
{displaystyle oplus }
运算符有关的假设前提,会指定一个内部的直接和(direct sum)。表示式和其赋值曾在1930年代由阿隆佐·邱奇和Stephen Kleene在其
λ
{displaystyle lambda }
演算中被公式化。
λ
{displaystyle lambda }
演算对现代数学和电脑编程语言的发展都曾有过重大的影响。λ
{displaystyle lambda }
演算有着一个更有趣的推论,在某些情况之下,两个表示式的等值与否是无法决定的。而且这个推论在任一和
λ
{displaystyle lambda }
演算有同样功用的系统内也都是成立的。许多数学表达式中包括变量,变量又区分为自由变量或约束变量两种。对于自由变量赋值的一给定组合,进行对表达式的评估,然而这些赋值的某些组合在评估整句表达式后的结果,可能没有定义。因此一个表达式表示一个函数,其输入是赋予自由变量的值,其输出是表达式的结果值。举例来说,表示式
x
y
{displaystyle {frac {x}{y}}}
,分别使自由变数
x
{displaystyle x}
和
y
{displaystyle y}
定值为
10
{displaystyle 10}
和
5
{displaystyle 5}
,其输出为数字
2
{displaystyle 2}
;
但注意在
y
{displaystyle y}
值为
0
{displaystyle 0}
时,则这表示式没有定义。数学表达式的评估取决于上下文背景对式中运算符的定义,赋值的定义域和评估结果的域。如果两个表达式之中的变量,对于它们赋值的每一种组合都产生相同的输出,则这两个表达式被认定为相等,即它们实为相同的函数。例如,表示式
∑
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}
。
相关
- 体体又称体貌、动貌词,是一种语法范畴,表示事件的内部时间结构,例如关于该动作的开始、持续、完成或重复等方面的情况,但不涉及该动作发生的时间。注意区分,Grammatical aspect是指
- 亚结构逻辑在数理逻辑中,特别是联合上证明论的时候,一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用:结构规则的概念是基
- 性别角色性别角色,相当于性别规范,是一种社会角色,包括人们基于一切生物性别与性别表达的感知或态度,而且被认为是适当、合宜或可接受的。性别角色通常集中在女性气质和男性气质的概念上
- 三磷酸脱氧胞苷去氧胞苷三磷酸(Deoxycytidine triphosphate,dCTP)是核苷三磷酸的一种,也是可用来合成DNA的原料之一。含有五碳糖、磷酸根,以及胞嘧啶。
- 博恩代博恩代是刚果民主共和国的城镇,也是楚阿帕省的首府,位于该国西部姆班达卡以东,市内有港口和机场设施,主要经济活动有渔业、农业、畜牧业,2009年人口36,158。
- 航空代码国际航空运输协会航空公司代码(英语:IATA Airline Designators)是国际航空运输协会为全球各航空公司指定的两个字母的代码,它是由航班代码的两个首字母组成。IATA也采用国际民用
- 索贝克霍特普二世威格夫(Khutawyre Wegaf或者Ugaf)是埃及第十二王朝的最后一位法老。Kim Ryholt认为Sekhemre Khutawy是阿蒙涅姆赫特四世之子,约公元前1802年——约公元前1786年在位。
- 正丙醇1-丙醇(Propan-1-ol)是一种有三个碳原子的醇类有机化合物。 简单的化学式为C3H7OH。分子式为CH3CH2CH2OH,依按IUPAC命名法称作丙-1-醇。是一氧化碳和氢合成甲醇时的副产物。其
- 菲英岛菲英岛(丹麦语:Fyn,pronounced )是丹麦仅次于西兰岛和北日德兰岛的第三大岛(若考虑丹麦的自治领地格陵兰则为第四大岛),是世界第165大岛,面积为2,984平方公里,主要城市为欧登塞,全岛
- 区域联合治理区域联合治理是中华民国第14任总统蔡英文所提出的主张,目的在于让地方长大,中央放权,调整中央地方权责及财源分配,以提高国家财政使用效率。此主张将台湾依生活圈概念区分为跨县