计算机网络是计算机系统中一个有代表性的复杂系统，需要高度协调的工作才能保证系统的正常运行。为此，必须精确定义网络中数据交换的所有规则（网络协议），然而由这些规则组成的集合却相当庞大和复杂。为了解决复杂网络协议的设计问题，国际标准化组织（ISO）采用系统科学的思想，定义了现在被广泛使用的开放系统互连模型（Open System Interconnection，OSI），该模型将整个网络协议划分为几个层次？（）

单项选择题下列叙述分别体现了软件开发的系统化方法需要遵循的基本原则：抽象第一的原则、层次划分的原则、模块化原则。请按下列叙述选择对应的原则（）。（1）对实际的事物进行人为处理，抽取所关心的、共同的、本质特征的属性，并对这些事物及其特征属性进行描述。由于抽取的是共同的、本质特征的属性，从而大大降低了系统元素的绝对数量。（2）根据系统模型说明的原因和真实系统提供的依据，提出以模型代替真实系统进行模拟实验，达到认识真实系统特性和规律性的方法。（3）如果一个系统过于复杂，以至于很难处理，那么，就得先将它分解为若干子系统。

A.抽象第一原则、层次划分原则、模块化原则
B.抽象第一原则、模块化原则、层次划分原则
C.层次划分原则、抽象第一原则、模块化原则
D.层次划分原则、模块化原则、抽象第一原则

单项选择题下列有关复杂性的说法不正确的是（）。

A.根据信息论的观点，复杂度可以定义为系统表明自身方式数目的对数，或是系统可能状态数目的对数：K=logN，其中K是复杂度，N是不同的可能状态数。
B.若两个系统各自有M个和N个可能状态，那么组合系统的复杂度为K=logM^N。
C.从可操作性的角度来看，复杂性可以定义为：寻找最小的程序或指令集来描述给定的“结构”，即一个数字序列。
D.若用比特计算，最小程序的大小相对于数字序列的大小就是其复杂性的度量。

多项选择题理解源于数学，定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。下列关于“定义”的描述正确的有（）。

A.定义是被证明为真的数学命题
B.定义是蕴含在公理系统之中的概念和命题
C.定义不可用含混、隐晦或比喻性词语来表示
D.定义是对一种事物的本质特征或一个概念的内涵与外延确切而简要的说明

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

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

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

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