|
题名:
|
高阶逻辑辅助证明系统 / (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著 , 陈光喜, 刘卓军译 |
|
ISBN:
|
978-7-5640-7763-1 价格： CNY45.00 |
|
语种:
|
chi |
|
载体形态:
|
253页 21cm |
|
出版发行:
|
出版地： 北京 出版社： 北京理工大学出版社 出版日期： 2013 |
|
内容提要:
|
本书分为三部分：第一部分是基本技巧：介绍在高阶逻辑中如何进行函数式程序建模，提供了表(1ist)和自然数的简单证明实例。第二部分是逻辑与集合：介绍大量可供选择使用的低级证明策略。第三部分是高级话题：包括实数、记录、重载技术等主题。 |
|
主题词:
|
计算机辅助技术 |
|
中图分类法:
|
TP391.7 版次： 5 |
|
主要责任者:
|
尼普科夫 著 |
|
主要责任者:
|
鲍尔森 著 |
|
主要责任者:
|
温泽尔 著 |
|
次要责任者:
|
陈光喜 译 |
|
次要责任者:
|
刘卓军 译 |
|
索书号:
|
5 |