|
题名:
|
面向计算机科学的数理逻辑 / (德) Michael Huth, (英) Mark Ryan著 , 何伟, 樊磊译 |
|
ISBN:
|
978-7-111-21397-0 价格： CNY39.00 |
|
语种:
|
chi |
|
载体形态:
|
277页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2007 |
|
内容提要:
|
全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的新发展和实际需要等。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
其它题名:
|
系统建模与推理 |
|
主要责任者:
|
胡特 著 |
|
主要责任者:
|
瑞安 著 |
|
次要责任者:
|
何伟 译 |
|
次要责任者:
|
樊磊 译 |