本讲在讲述软件建模方法时，主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中，________不属于形式化思维方法中采用的表达方法。

B．PAD 图

C．IDEF 图

D．数据流图

A、类图

B、PAD图

C、IDEF图

D、数据流图

A、类图

B、状态图

C、活动图

D、数据流图

A．历史是逻辑的基础，逻辑是历史的反映

B．历史从哪里开始，逻辑也应该从哪里开始

C．逻辑只反映历史的主流和方向

D．逻辑“修正”历史

A、在行为方式上是“以语言讲述为主”

B、在教学功能上是“传授数学知识、启发思维、表达情感、渗透数学思想方法”

C、目的是“帮助学生掌握数学内容的实质与规律”

D、在学习活动方式上，是“教师讲或导,学生听或思”

A、思想化

B、可执行的

C、程式化

D、发散性

第 31 题 根据文意，“将意化思想变为物化思想”，其表达方法是_________。

A．书面表达和口头表达

B．思维和语言表达

C．书面表达

D．口头表达

B．PAD图

C．数据流图

D．IDEF图

A.执政能力

B.思维方式

C.思想方法

D.工作方法