1) intension of expression
表达式内涵
1.
The peculiarity can be described as that Mohist logic pays much attention to the intension of expression and puts special emphasis on the actual context of thinking.
通过细致分析 ,本文指出墨辩逻辑具有不同于其他逻辑传统特别是亚氏三段论的逻辑特质 ,其主要表现在 :墨辩强烈的实用功利目的 ,决定了其朴素思维的直观性、综合性 ,这使得墨辩使用了一种独特的类推论证方法 ;而实用性的要求、类推方法的使用、古汉字系统的特殊性、墨家学说的影响等诸种因素交织在一起 ,相互作用 ,使得墨辩形成注重表达式内涵 ,强调思维实际内容的逻辑特
2) intension of expressions
表达式的内涵
3) implicative expression
蕴涵式表达式
1.
Pan-Boolean algebra is used to prove that two logical expressions of one decision list with the complete conditional attribute(the disjunctive expression and the implicative expression) are logically equivalent.
用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。
4) list comprehensions
列表内涵
1.
The features of list comprehensions of Haskell give people a great power to cut the lines of the code.
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。
5) intension diagram
内涵表
1.
For the sake of the improvement of MT quality,a natural language processing method,Intension Analysis Oriented to Case Grammar,is put forward and a formal presentation of intension diagram depending on semantics is coming out simultaneously.
针对机器翻译译文质量的改善与提高,提出了一种基于格语法的内涵表分析法的自然语言处理方法,给出了一种基于语义的内涵表的形式表达方式,以及英汉机器翻译系统中语句处理过程:句子切分、格框架的建立与语句嵌入、简单句的翻译、简单句组合。
6) contents and appearances
内涵表现
补充资料：表达式
表达式
expression
b iaodash-表达式(exPression)高级语言中用来指明求值规则的基本语法成分。 表达式可以是简单的，也可以是复杂的，但一般都涉及到参与计算的运算对象(或称为操作数)，进行计算的运算符，也可以有指明求值次序的圆括号。 表达式的运算对象可以是无正负号常量，变量，函数命名符，或由圆括号括起来的另一层表达式。变量可以是由单个标识符表记的整体变量，也可以是构造类型的成分变量(如数组的下标变量，记录的域变量等)。 运算符用于对运算对象的求值。若按参与运算的对象类型来分类，则可分为算术运算符、关系运算符、逻辑运算符及集合运算符，而从运算涉及到的运算对象个数来看，也可分为单目运算符和双目运算符，双目运算符又可分为乘除运算符、加减运算符、关系运算符及逻辑运算符等。同一层表达式的各种运算符，一般按数学上的先乘除后加减的原则来定义它们的优先级。例如，Ada语言中对运算符定义了6个优先级:乘幂(，，)，绝对值(ABS)，非(N(刀、)等单目运算符优先级最高，AND，OR，XOR等逻辑运算符优先级最低。同一层表达式的计算一般从左向右进行，但优先级高的运算符先做。 表达式可分为同构里表达式和汤合型表达式。同构型表达式要求其所有成分都属于同一类型，例如，ALGOL 60中定义的三类表达式，即算术表达式、布尔表达式及命名表达式，均属于同构型表达式，但目前多数语言的表达式则为混合型表达式，例如，M宝妇ula~2沪da等语言，一个表达式中也许有不同类型的运算对象，它们通过类型转换来解决运算对象类型不一致问题。 有类型语言要求参与计算的运算对象、运算符是有类型的，因而其表达式也是有类型的。运算符的类型可以从运算符的符号不同来区分，例如“令”为整数类型运算符，‘，/”为实数类型运算符，但当前不少程序语言(如八da，C++等)中，同一个运算符，其类型根据其运算对象类型的不同可以作不同的解释。例如沪刁a语言中的“=”运算符，其类型根据其运算对象类型，可解释为整数相等比较，也可解释为实数相等比较，甚至可以是用户定义的某一类型的相等比较，这种现象称为运算符的一名多用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条