|
题名:
|
应用逻辑
/
(美)尼罗德Anil Nerode，Richard A. Shore
,
|
|
ISBN:
|
7-111-19772-0
价格：
49.00
|
|
载体形态:
|
11,456页
25cm
|
|
出版发行:
|
出版地：
北京
出版社：
机械工业出版社
出版日期：
20060101
|
|
内容提要:
|
本书强调了演绎作为计算的一种形式的概念，书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑。本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
|
|
主题词:
|
数理逻辑
|
|
中图分类法:
|
O141
版次：
|