|
题名:
|
计算理论与符号逻辑 / 张兴元, 王元元, 宋丽华编著 , |
|
ISBN:
|
978-7-03-032410-8 价格： CNY34.00 |
|
语种:
|
chi |
|
载体形态:
|
270页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2011.10 |
|
内容提要:
|
本书对计算理论和数理逻辑中一组最为基本的问题和重要概念进行详细介绍, 以Boolos等的经典教材Computability and Logic为出发点, 对内容做了简化和充实。 |
|
主题词:
|
计算技术 理论 |
|
主题词:
|
数理逻辑 高等教育 |
|
中图分类法:
|
TP301 版次： 4 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
张兴元 编著 |
|
主要责任者:
|
王元元 编著 |
|
主要责任者:
|
宋丽华 编著 |