（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
困惑与出路 现代科学方法导引 THE GUIDE FOR THE MODERN SCIENTIFIC METHOD
赵玉林编著1989 年出版264 页ISBN：7535103804
陈安民，田伟主编；张英泽，郭卫，高忠礼，贺西京副主编2014 年出版779 页ISBN：9787117195263
本套教材以解决研究生科研和临床中实际遇到的问题为立足点，以“回顾、现状、展望为线索。基础课系列主要围绕研究生科研过程中，从最初的科研设计到最终论文发表的各个环节可能遇到的实际问题展开。临床课系列...
张丕泽著2015 年出版172 页ISBN：9787510311963
学生学习过程中学到的知识为何很快就忘记？人们在生活中为什么会被一些缺乏科学的谬论所蒙蔽？怎样才能让工作高效并富有创新性？诸如此类问题，在作者看来都可以通过思维架构的塑造来解决。本书是作者多年来思考的...
（澳大利亚）迈克尔·尼尔森（MICHAELNIELSEN）著；祁澍文，石雨晴译2015 年出版279 页ISBN：9787121253850
在这本书中，作者迈克尔·尼尔森认为，我们正生活在这样一个阶段的曙光中：在这个阶段未来的三百年间，科学领域将经历它有史以来最剧烈的变动！强大的新认知工具和互联网，大大加快了科学发现的速度。Reinventing Disc...
