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

中国大学MOOC: 以下可用来预测蛋白质三维结构建模的软件是？ 中国大学MOOC: 园本教研并非教师专业发展的手段。 中国大学MOOC: 主讲人提到，看护重症病人对其进行“穿刺”操作时，要求（ ） 中国大学MOOC: 选用具体数学建模方法，是为了实现解决问题的 中国大学MOOC: 利用讲故事的方法讲述商业模式时，讲故事的视角可以有（ ）。 中国大学MOOC: 本实验中用的油脂提取方法是（ ） 中国大学MOOC: 来自间介中胚层的有（ ） 中国大学MOOC: 全国大学生数学建模竞赛是谁赞助冠名的？ 中国大学MOOC: 主讲人认为美国加紧围堵中国的原因主要有（ ）。 中国大学MOOC: 高数除了考试，还能用来建模。 中国大学MOOC: 下列属于检测软件bug常用方法的是 中国大学MOOC: 本讲介绍的软件工程学科设置中不包括________。 中国大学MOOC: 主讲人认为中国具备与美国斗争的条件主要有： （ ） 中国大学MOOC: 主讲人认为，作为一名医生，道路是（ ） 中国大学MOOC: keyshot可以对包括犀牛、UG、CATIA、3Dmax等多种三维软件所建模型进行渲染。值得注意的是，用keyshot打开其它建模软件所建模型时，应该利用的以下（ ） 中国大学MOOC: 学习数学建模的要求一般是： 中国大学MOOC: 数学建模与科学研究的关系是 中国大学MOOC: 数学建模的一大要务是 中国大学MOOC: 鉴别翻新笔记本电脑的方法 中国大学MOOC: 咨询转介的不正确做法是( )