请输入要查询的词条内容：

查询

形式化方法

---

1 形式化方法的发 展 2 形式化方法的定义 3 形式化方法的研究内容 4 形式化方法的分类 形式化方法英文的名称是formal methods。 在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引 详情>>

软件工程形式化方法与语言

图书信息内容简介图书目录图书信息书名:软件工程形式化方法与语言作　者：李莹出版社：浙江大学出版社出版时间：2010年3月1日ISBN:9787308066679开本：16开定价:29.00元内容简介《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。《软件工程形式化方法与语言》 详情>>

软件工程 软件 件工 工程 形式化方法 形式 式化 化方 方法 语言

---

软件开发的形式化方法

图书信息内容简介目录图书信息出版社:高等教育出版社;第1版(2005年1月1日)外文书名:FormalMethodsofSoftwareDevelopment丛书名:高等学校研究生系列教材平装:265页正文语种:简体中文开本:16ISBN:704016079X,9787040160796条形码:9787040160796尺寸:23x18.4x1.2cm重量:358g内容简介《软件开发的形式化方法》 详情>>

软件开发 软件 件开 开发 形式化方法 形式 式化 化方 方法

---

形式化方法

1形式化方法的发展2形式化方法的定义3形式化方法的研究内容4形式化方法的分类形式化方法英文的名称是formalmethods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联 详情>>

形式化方法 形式 式化 化方 方法

---