大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

应用逻辑:英文版/(美)Anil Nerode，(美)Richard A.Shore著

版本说明:

影印本

出版发行项:

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

ISBN及定价:

7-111-19772-0/CNY49.00

载体形态项:

11,456页;25cm

并列正题名:

Logic for applications

丛编项:

经典原版书库

个人责任者:

(美) Shore Richard A. 著

个人责任者:

(美) 尼罗德 A. 著

个人责任者:

(美) Nerode Anil 著

学科主题:

数理逻辑-英文

中图法分类号:

O141

版本附注:

据原书第2版影印

提要文摘附注:

本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念，系统介绍了集合论基础知识，并对该主题提供历史综述。

豆瓣简介：