|
题名:
|
应用逻辑 / (美) Anil Nerode著 , 丁德成等译 |
|
ISBN:
|
978-7-111-21404-5 价格： CNY38.00 |
|
语种:
|
chi |
|
载体形态:
|
284页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2007.07 |
|
内容提要:
|
本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
尼罗德 著 |
|
主要责任者:
|
Nerode, 著 |
|
次要责任者:
|
丁德成 译 |