（美）DennisE.Shasha作者；费若愚，朱学武译者2013 年出版208 页ISBN：9787115301956
本书共分为3个部分。第一部分从有趣且锻炼头脑的谜题入手，继而给出解题思路和详细答案。第二部分综合了不同类型的谜题，如数独、调度问题及概率题等。神秘的第三部分带领大家不断历险，开动脑筋，解决大量密码及...
吴悦著2009 年出版171 页ISBN：9787811185119
本书收录了2006年上海大学博士论文52篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。
柯华庆著2014 年出版138 页ISBN：9787542646132
本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...
龚启荣，朱霖，吴春红等著2009 年出版272 页ISBN：9787121084157
本书作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知...
朱定华，饶志强，吴建新编著2007 年出版348 页ISBN：9787810828826
本书既介绍了数字电路的基本理论和经典内容，同时也介绍了数字电子技术的新成果和电路设计的新方法。叙述中减少了小规模数字集成电路的内容，突出了中、大规模数字集成电路的应用，并增加了对电子设计自动化等内...
陈波主编2007 年出版320 页ISBN：9787303087242
本书分为以下三编：第一编：非形式逻辑，泛指关于日常思维中的非形式推理和论证的逻辑理论。第二编：演绎逻辑。演绎逻辑以系统的方式研究演绎推理，而演绎推理是前提的真能够保证结论的真的推理。第三编：归纳逻辑。.....
冯契著2016 年出版388 页ISBN：9787567534384
全书共有九章，大致可分为两个部分：逻辑思维过程的辩证法和逻辑思维形式的辩证法。作者对逻辑思维过程的考察的主要内容是对他后来所说的“广义认识论”的四个问题的讨论：感觉能否给予客观实在？普遍、必然的科学...
