点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,教材教辅与参考书,
　　品牌: 李莹

基本信息·页码：200 页

·出版日期：2010年03月

·ISBN：7308066673/9787308066679

·条形码：9787308066679

·版本：第1版

·装帧：平装

·丛书名：高等院校精品教材

产品信息有问题吗？请帮我们更新产品信息。

内容简介本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。