1998年，IEEE-CS和ACM联合特别工作组在对多个计算学科和工程学科规范进行广泛研究的基础上，制定了软件工程师职业化的一个关键规范：资格认证。在经过广泛的讨论和严格的审核之后，IEEE-CS和ACM采纳了特别工作组提出的《软件工程资格和专业规范》。关于该规范下列说法正确的是（）。

多项选择题‏模型与实现是认识与实践的一种具体体现，在计算学科中，它反映了抽象、理论和设计3个过程的基本内容。模型与实现包括建模、验证和实现3方面的内容。以下论述不正确的是（）。

A.模型的实现则主要属于学科理论形态方面的内容
B.建模主要属于学科理论形态方面的内容
C.模型的实现则主要属于学科设计形态方面的内容
D.模型的验证主要属于学科理论形态方面的内容

单项选择题‎在密码学领域，下列关于攻击者攻击方式的说法正确的是（）。​

A.在现实世界中，攻击者往往从数学角度进行攻击
B.在现实世界中，攻击者往往先从数学角度进行攻击，攻击不成功时，再从落实数学的方法上寻找缺陷进行攻击
C.在现实世界中，攻击者既不是从数学角度进行攻击，也不是从落实数学的方法上寻找缺陷进行攻击，而是另辟蹊径
D.在现实世界中，攻击者往往从落实数学的方法上寻找缺陷进行攻击

单项选择题下列有关系统同构的说法不正确的是（）。

A.布尔代数与数字逻辑电路同构
B.系统同构是数学同构概念的拓展
C.不同系统间的数学同构关系具有自反性和传递性，但不具有对称性。因此，系统同构可以用于模型简化，不能用于划分等价类
D.系统同构是指不同系统数学模型之间存在的数学同构

多项选择题‍下面关于数学家和计算机科学家的说法正确的是（）。

A.计算机科学家侧重于对变化的动态过程（不连续过程）状态的重点把握
B.数学家倾向于用公式来描述事物的状态
C.计算机科学家倾向于将问题分解成若干状态，并精确地定义事物处理的每一步骤
D.数学家侧重于强烈的几何推理和关于无限问题的推理

单项选择题‍“充分条件，必要条件”是征服数学的关键，只要能够清楚的分辨，就能克服数学。遗憾的是，即使顶尖的高手，在辩论中，也常搞混这两个概念。伟大的科学家是成为家庭内部矛盾处理行家的什么条件？（）

A.必要条件
B.既不是充分条件，也不是必要条件
C.充分必要条件
D.充分条件