面向计算机科学的数理逻辑系统建筑模与推理【正版书籍,满额减】 【速开发票,优质售后,支持7天无理由退换】
¥97.40定价:¥325.90 (2.99折)
¥129.99定价:¥262.00 (4.97折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥31.00定价:¥91.00 (3.41折)
面向计算机科学的数理逻辑系统建筑模与推理【售后无忧】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
¥61.60定价:¥137.00 (4.5折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥39.00定价:¥91.37 (4.27折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书,下单前请先咨询客服,欢迎选购!
¥60.90定价:¥310.00 (1.97折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版.】 正版图书,下单前请先咨询客服,欢迎选购!
¥76.19定价:¥164.38 (4.64折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟、樊磊 译【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥39.60定价:¥158.10 (2.51折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【店主推荐,正版书放心购买,可开发票】
《面向计算机科学的数理逻辑系统建模与推理(原书第2版)》对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理(原书第2版)》适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
¥39.18定价:¥138.19 (2.84折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊【正版】
¥41.14定价:¥145.11 (2.84折)
¥59.99定价:¥121.00 (4.96折)
应用泛函分析 樊磊,何伟 编 全国多仓发货,物流便捷,正版保证,欢迎选购!
¥29.50定价:¥74.00 (3.99折)
¥32.90定价:¥39.00 (8.44折)
¥17.50定价:¥39.00 (4.49折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 ,何伟,樊磊 机械工业出版社【正.版】 【正品保证,进入店铺更多优惠!】
¥76.19定价:¥164.38 (4.64折)