中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算理论与符号逻辑/张兴元, 王元元, 宋丽华编著

出版发行项:

北京:科学出版社,2011

ISBN及定价:

978-7-03-032410-8/CNY34.00

载体形态项:

270页:图;26cm

并列正题名:

Computation theory and symbolic logic

丛编项:

普通高等教育“十一五”国家级规划教材

个人责任者:

张兴元 编著

个人责任者:

王元元 编著

个人责任者:

宋丽华 编著

学科主题:

电子计算机-算法理论-高等学校-教材

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

TP301.6

中图法分类号:

O141

相关题名附注:

英文并列题名取自封面

书目附注:

有书目 (第264-265页) 和索引

提要文摘附注:

本书对计算理论和数理逻辑中一组最为基本的问题和重要概念进行详细介绍。以B00los等的经典教材CbmputaBILITY And LOGIc为出发点，从教学效果出发，对内容做了简化和充实．本书注重体现数理逻辑在计算机科学研究中的应用，强调直观感受与理论分析相结合。对定义、定理的引入进行了精心设计，采用了易于理解的证明体例，重要章节之后都有小结．力图引导读者超越技术细节，更多地关注定义、定理背后所隐藏的一般思维模式和思想方法，使理论学习不再枯燥乏味．

豆瓣简介：