经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《互联网金融时代消费信贷评分建模与应用》读书内容简介:亚大学，复旦大学、台湾大学EMBA，曾任职于香港维信理财公司、台湾台北富邦银行、台湾中国信托商业银行、澳商澳盛银行及台湾台新银行等机构；兼任台湾金融研训院特约讲师、VISA中国区兼职顾问。具备台湾银行业消费金融风险管理与大陆小贷、P2P...详情

经典好书《相关性搜索：利用Solr与Elasticsearch创建智能应用》读书内容简介:earch创建智能应用》揭开了相关性搜索的神秘面纱，告诉大家如何将 Elasticsearch与 Solr这样的搜索引擎作为可编程的相关性框架，从而表达业务排名规则。从这《相关性搜索：利用Solr与Elasticsearch创建智能应用》中你可学会如...详情

经典好书《“匀质”的秩序与“清晰的建造”》读书内容简介:师理论研究丛书——秩序与建造系列”的第一本。笔者从掌控密斯建造体系之“匀质秩序”出发，逐一探讨密斯从巴塞罗那德国馆到柏林国家美术馆新馆其间的重要代表作品。将匀质秩序对密斯建造体系不断发展、提升的演进脉络呈现出来，从而将密斯毕生建筑探索的内在奥义揭示出...详情

经典好书《近500年来福建的家族社会与文化》读书内容简介:首批全国52位“人文社会科学跨世纪优秀人才”培养工程入选者。现任厦门大学人文与艺术学部主任、厦门大学国学研究院常务副院长、教授，兼任中国经济史学会副会长、中国明史学会副会长、中国商业史学会副会长、中国人类学与民族学研究会副会长等职务。主要著作有《清代...详情

经典好书《破碎与重建》读书内容简介:37-1945抗战时期的中国文学研究)/学术月刊丛书》是一部文学研究论文集，汇集论文十余篇，均以抗日战争时期的中国文学为研究对象。书稿精选新世纪以来《学术月刊》发表的相关学术文章，作者包括郜元宝、王丽丽、吴中杰等十数位当代文学研究方面的专家，对同时期...详情

经典好书《重建时代的人与社会》读书内容简介:尔·曼海姆的重要社会学著作之一。作者在书中对人格的塑造和社会组织范围的失调进行了深入研究。他站在欧洲大陆和盎格鲁一撒克逊的角度讨论了自由主义和民主的危机，他指出：现代社会失调，出现文化危机的主要原因在于自由放任原则和无计划调节原则间的冲突。他认为，没...详情

经典好书《建筑、空间与流动性》读书内容简介:历、实践和设计思想，他成功地将日语中的余韵和暧昧性运用到了建筑设计中，创造了一种能带给人自由感觉的建筑作品。他主张让建筑成为一种自然的存在，用扎根于场所和土地之上的“流动性的建筑”让人类回归自由。是建筑师、设计师、城市规划师案头必备的设计启迪书。</...详情

经典好书《建筑与都市031（A+U 中文版）》读书内容简介:4 年 5 月的“建筑进行中”和2005 年 6 月的“超越图像”。本期专辑将延续前面的两期，介绍伊东丰雄建筑设计事务所目前正在建造或即将动工的项目。本期以“建筑与场所”为主题，描述了其在世界上六个地区的项目：中国台湾（台北和台中）、西班牙（巴塞罗那...详情

经典好书《建筑与都市001（A+U中文版）》读书内容简介:目。全中国各地持续着建设热潮，城市面貌也在日新月异地发生着变化。在中国建筑界，活跃着一批三、四十岁的年轻建筑家，同时国外建筑界在中国国内的设计项目也不断增加。自34年前，《建筑与都市》日本东京创刊以来，一直坚持以介绍世界优秀建筑和建筑家为己任，敏捷地...详情