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

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

A．C语言

B．VDM语言

C．Z语言

D．Petri网

参考答案和解析
C语言

相关考题：

下列哪项不属于科学思维的方法:____ A、收敛思维与发散思维相结合的方法B、逻辑思维与形象思维相结合的方法C、注重基本原理与概念的系统学习D、分析思维与直觉思维相结合的方法
查看答案
在运筹学中通常会使用众多数学方法,综合解决具体问题,下列的数学方法中,哪一个不是运筹学常用的?() A.最优化理论B.数学建模方法C.数理统计D.群论
查看答案
无论是具象思维、抽象思维,还是发散思维、逆向思维,教师在引导学生时必须要明确培养的目的,让学生清楚自己要解决的问题是什么,这种问题有什么规律,应该采用哪一种思维方法。这表明()。 A.数学思维的培养需要有创新性B.数学思维的培养需要有目的性C.数学思维的培养需要有灵活性D.数学思维的培养需要有组织性
查看答案
近代的科学思维方法的特点有()。 A.科学实验及其与数学方法的结合B.信息方法的普遍采用C.分析方法的普遍应用D.系统方法的普遍采用E.假说等思维方法的应用与发展
查看答案
()反映了数学逻辑思维的确定性。 A、数学概念B、数学判断C、数学推理D、数学方法
查看答案
下列构件测试方法中，允许不同的验证工具共同操作，可以消除冗余测试问题的是______。A．构件方法序列B．内置测试法C．基于形式化的构件测试D．基于构件交互图的方法
查看答案
教师在数学课上用几种不同的方法来解同一道应用题，这种思维方法是()。A.创造思维B.聚合思维C.发散思维D.直觉思维
查看答案
定量预测是运用（）对已掌握的较完备的历史统计数据进行加工整理，揭示有关变量间的规律以预测市场发展变化的预测方法。A、逻辑思维方法B、化学方法C、物理方法D、数学方法
查看答案
数学命题学习中并列学习所采用的思维方法主要是（）
查看答案
在论文写作中，主要运用的分析和研究方法有（）。A、哲学思维方法B、逻辑的和历史的方法C、系统方法D、数学方法E、观察模拟法
查看答案
在思维的类别中，与常规性思维相对，创造性思维是指以（）的方法解决问题的思维过程。A、反传统B、新颖独创C、有内涵D、形式化
查看答案
数学建模的思维过程包括（）。A、对现实问题进行数学抽象B、构建数学模型C、用数学语言表达问题D、用数学知识和方法解决问题
查看答案
在运筹学中通常会使用众多数学方法，综合解决具体问题，下列的数学方法中，哪一个不是运筹学常用的？（）A、最优化理论B、数学建模方法C、数理统计D、群论
查看答案
形式化方法模型是将数学方法用于（）A、定义计算机系统的规格说明B、开发无错误的计算机系统C、验证计算机系统的正确性D、以上所有选项
查看答案
下列密码验证模块的说法正确的是：（）。A、在密码验证模块中，主要采用瀑布模型的设计方法，自下而上进行分析B、在密码验证模块中，主要采用瀑布模型的设计方法，逐步分解进行分析C、在密码验证模块中，主要采用瀑布模型的设计方法，逐步求精进行分析D、在密码验证模块中，主要采用瀑布模型的设计方法，自上而下进行分析
查看答案
如果说高新技术的基础是数学，那么（）则是高新技术的基础的基础。A、计算B、数概念C、数学思维D、数学方法
查看答案
数学思维的结构主要有（）。A、数学思维的材料和结果B、数学思维基本方法C、数学思维基本形式D、数学思维的品质E、数学思维的评价
查看答案
从众多的备选方案中搜索寻求其中优化方案的思维方法叫（）A、发散性思维方法B、收敛性思维方法C、逻辑思维方法D、超逻辑思维方法
查看答案
定量的数学方法与信息技术相结合，就能代替人的创造性思维。
查看答案
教师在数学课上用几种不同的方法来解同一道应用题，这种思维方法是（）。A、创造思维B、聚合思维C、发散思维D、直觉思维
查看答案
单选题下列密码验证模块的说法正确的是：（）。A在密码验证模块中，主要采用瀑布模型的设计方法，自下而上进行分析B在密码验证模块中，主要采用瀑布模型的设计方法，逐步分解进行分析C在密码验证模块中，主要采用瀑布模型的设计方法，逐步求精进行分析D在密码验证模块中，主要采用瀑布模型的设计方法，自上而下进行分析
查看答案
单选题在思维的类别中，与常规性思维相对，创造性思维是指以（）的方法解决问题的思维过程。A反传统B新颖独创C有内涵D形式化
查看答案
填空题现代仿真是在与计算机结合的基础上进行的，甚至可以直接称为计算机仿真。它是现代数学方法、数理逻辑、语言形式化、（）与（）技术相结合的产物，是当代软技术的主要方法与手段。
查看答案
多选题数学思维的结构主要有（）。A数学思维的材料和结果B数学思维基本方法C数学思维基本形式D数学思维的品质E数学思维的评价
查看答案
单选题形式化方法模型是将数学方法用于（）A定义计算机系统的规格说明B开发无错误的计算机系统C验证计算机系统的正确性D以上所有选项
查看答案
单选题教师在数学课上用几种不同的方法来解同一道应用题，这种思维方法是（）。A创造思维B聚合思维C发散思维D直觉思维
查看答案
单选题如果说高新技术的基础是数学，那么（）则是高新技术的基础的基础。A计算B数概念C数学思维D数学方法
查看答案
填空题数学命题学习中并列学习所采用的思维方法主要是（）
查看答案
热门标签