冯棉著2018 年出版216 页ISBN：9787567577763
本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱...
（美）希尔兹（Shields，P.R.）著；黄敏译2007 年出版223 页ISBN：7561755112
本书将为维特根斯坦思想的整体理解提供了一个能够涵盖他的宗教与逻辑问题的概观，作者强调，维特根斯坦所孜孜以求的哲学和逻辑问题就能通过他在宗教上的立场得到一个整体的理解。在上述思路下，本书的全部工作就...
徐维主编2006 年出版252 页ISBN：7508342933
本书是根据国家教委制定的电路与电子技术课程教学要求，由多所以培养应用型人才为主要目的的高等学校里从事计算机类、电子类和电气类课程教学的老师所编写，并在第一版的基础上加以修订、扩充而来的。主要内容...
李万华2018 年出版195 页ISBN：9787511734860
既然我们所谈论的哲学问题是存在论和认识论，那么不论所持何种观点的哲学家，应该可以在我们所谈论问题的基本内容上取得一致，那就是：我们人所面对的自然世界究竟是怎么回事儿？我们能否认知它们如何认识它们？在自.....
高广任编著2005 年出版265 页ISBN：730211708X
本书是与《现代数字电路与逻辑设计》（清华大学出版社2004年出版）一书配合使用的教学参考书，全书包含两部分内容。第1部分：《现代数字电路与逻辑设计》书中，第1章-第8章的习题解答。第2部分：作为教学补充、参考内...
（美）约翰·刘易斯，（美）威廉·洛夫特斯2018 年出版470 页ISBN：9787121340932
本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设计提供了全面、详细的指导。全书覆盖了面向对象设计的广泛内容，介绍了Java语言的基本数据类型、流程控制、类和对象等。在深...
（美）Ronald L.Graham等著2002 年出版657 页ISBN：7111105761
This book introduces the mathematics that supports advanced computer Programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant ...
