全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

高阶逻辑辅助证明系统

定价：￥45.00

作者： [德]托比亚斯·尼普科夫（Tobias Nipkow）

译者：陈光喜刘卓军译译；

出版时间：2013-05-01

出版社：北京理工大学出版社

以下为《高阶逻辑辅助证明系统》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：北京理工大学出版社
ISBN：9787564077631
版次：1
图书编号：397194
装帧：平装
开本：32开
出版时间：2013-05-01
千字：204
中图分类编号：TP391.7
适用专业：P

作者简介

陈光喜，桂林电子科技大学学科教学示范教授。毕业于中国科学院研究生院(成都计算机应用研究所)，获工学博士学位。曾获广西高等教育教学成果一等奖、桂林市科技进步三等奖。主要研究领域包括符号计算与自动推理、数值代数方法和智能软件设计与应用。刘卓军，中国科学院数学与系统科学研究院研究员、博士生导师。毕业于中国科学院系统科学研究所，获博士学位。多年来一直从事符号计算与自动推理、编码理论和密码学代数基础方面的研究工作。曾担任中国科学院系统科学研究所副所长、中国科学院数学与系统科学研究院副院长，目前兼任全国风险管理标准化技术委员会(SAC/TC 310) 副主任委员。

查看全部

内容简介

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于自动推理理论研究与辅助应用技术相关的硕士、博士研究生和研究人员。