A.定义是被证明为真的数学命题B.定义是蕴含在公理系统之中的概念和命题C.定义不可用含混、隐晦或比喻性词语来表……

多项选择题下列关于将一个具体的数字逻辑转换成抽象的代数表达式而加以分析和研究的说法正确的是（）。

A.研究数字逻辑电路，我们所关心的是电路所完成的逻辑功能，而不是电的或机械的性能
B.一般只考虑输入变量和输出变量之间的逻辑关系，并用数学的方式来描述
C.代数表达式是以理想的形式来表示实际的数字逻辑电路，反映了逻辑电路的特征和功能
D.代数表达式尽管带来了一些方便，但是不能完全反映逻辑电路的特征和功能

多项选择题下列关于数学具有的明显区别于其他学科的特征，说法正确的是（）。

A.高度的抽象性。数学的抽象程度大大超过自然科学中一般的抽象
B.逻辑的严密性。数学高度的抽象性和逻辑的严密性是紧密相关的
C.普遍的适用性。数学的高度抽象性决定了它的普遍适用性
D.定理的完整性。数学语言长期的发展使得它具备相当完善的相关定理

单项选择题采用蒙特卡洛（Monte Carlo）方法，计算2≤x≤3范围内曲线y=0与y=log （x-1）+2之间的近似面积（如下图阴影部分），那么随机数x，y的取值范围分别为（）。

A.x∈[1，3]，y∈[0，log2+2]
B.x∈[2，3]，y∈[1，log2+2]
C.x∈[2，3]，y∈[0，log2+2]
D.x∈[1，2]，y∈[0，log2+2]

单项选择题采用蒙特卡洛（Monte Carlo）方法，计算1≤x≤3范围内曲线y=1与y=x+sinx之间的近似面积（如下图阴影部分），那么随机数x，y的取值范围分别为（）。

A.[1，3+sin3]，[3，3+sin3]
B.[1，3]，[1，3+sin3]
C.[1，3]，[3，3+sin3]
D.[sin3，3]，[1，3+sin3]

单项选择题递归概念中的调用自身，关于对“自身”两字加引号的说法不正确的是（）。

A.调用自身中的“自身”两个字不加引号，会出现循环定义的问题
B.递归定义从来不是以某一事物自身来定义的
C.递归定义是以比自身简单一些的说法来定义的
D.递归定义中“自身”是指计算的规模小于自身