任晓明，桂起权著2010 年出版254 页ISBN：9787010088099
本书以哲学、进化生物学、认知科学、逻辑学、计算机科学与自动机理论的结合点为轴心，以计算机科学哲学领域的计算主义和反计算主义相对立的研究立场为主线，试图在计算机革命或哲学的信息转向的背景下对人机类...
（美）George S.Boolos，（美）John P.Burgess，（美）Richard C.Jeffrey著；何自强等译2005 年出版289 页ISBN：7121007797
本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...
刘润泽编2011 年出版274 页ISBN：9787515101132
本书系统地介绍了认识事物的逻辑方法与基本原则，还精选了一百个引人入胜的科学探索故事作了评析，如伦琴发现X射线，贝克勒尔发现放射性元素，查德威克发现中子，弗莱明发现青霉素，奥斯特发现电磁效应，詹纳发明牛......
何华灿，欧阳康主编2010 年出版418 页ISBN：9787561228425
本书是在中国人工智能学会第13届年会、第四届国际信息科学基础研讨会和第四届信息、智能与逻辑高级学术论坛的基础上，收集有关信息科学基础研究的重要论文而成的专辑，主要讨论建立信息科学理论体系的各方面问...
朱勇主编；汪玉蓉，陈军旗副主编2007 年出版249 页ISBN：9787113076658
本书是朱勇教授主编的数字逻辑的配套习集解答。
刘良贵著2013 年出版519 页ISBN：7514315713
本书突破了人性善与恶的传统思维束缚和其他偏向一隅或经验主义的人性认知范畴,开创了以自然科学为基础的人文科学思想理论体系的先河。本书从人的生物属性和社会属性的形成机制，通过对人的知性、情感、道德...
国外经典教材 计算机科学与技术 交互式计算机图形学 基于OPENGL的自顶向下方法 第4版
（美）EDWARD ANGEL著；吴文国译（新墨西哥州大学）2007 年出版685 页ISBN：9787302152651
本书从OpenGL软件编程的角度讨论图形学的基本原理和算法。
（美）M.Morris Mano著，（美）Charles R.Kime著2002 年出版650 页ISBN：7505376624
本书分数字逻辑设计、计算机硬件设计和计算机设计三部分，主要包括信息的二进制表示及布尔逻辑、组合电路的分析和设计基础、时序电路的概念和设计、结构化时序电路设计等。 ...
