安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic for applications/(美) Anil Nerode, Richard A. Shore著

版本说明:

英文版

出版发行项:

北京:机械工业出版社,2006

ISBN及定价:

7-111-19772-0/CNY49.00

载体形态项:

456页;25cm

并列正题名:

应用逻辑

丛编项:

经典原版书库

个人责任者:

尼罗德, A. (Nerode, Anil) 著

个人责任者:

Shore, R. A. (Shore, Richard A.) 著

学科主题:

数理逻辑-英文

中图法分类号:

O141

版本附注:

据原书第2版译出

书目附注:

有书目 (第409-438页) 和索引

提要文摘附注:

本书强调了演绎作为计算的一种形式的概念，书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

使用对象附注:

计算机科学和数学系高年级本科生以及低年级研究生。

豆瓣简介：