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

Online Public Access Catalogue

题名/责任者:

应用逻辑/(美)Anil Nerode， Richard A. Shore著 丁德成[等]译

出版发行项:

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

ISBN及定价:

978-7-111-21404-5/CNY38.00

载体形态项:

13,284页;26cm

并列正题名:

Logic for applications

丛编项:

计算机科学丛书

个人责任者:

(美) 尼罗德 (Nerode, Anil) 著

个人责任者:

(美) 肖尔 (Shore, Richard A.) 著

个人次要责任者:

丁德成 译

学科主题:

数理逻辑

中图法分类号:

O141

题名责任附注:

译者还有：徐亚涛、吴永成、金陈园

版本附注:

本书由Springer授权出版 据原书第2版译出

相关题名附注:

书名原文：Logic for applications

提要文摘附注:

本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)。

豆瓣简介：