经典好书《不要让未来的你，讨厌现在的自己》读书内容简介:心灵成长之书● 著名人生规划师、畅销书《拆掉思维里的墙》作者亲笔作序● 豆瓣红人meiya、考拉小巫温暖推荐● 独家收录豆瓣超级热帖《留在大城市，还是回老家？》、《不要让未来的你，讨厌现在的自己》、《躲过的，...详情

经典好书《理解信念：人工智能的科学理解》读书内容简介:。作者尼尔斯·尼尔森通过《理解信念（人工智能的科学理解）（精）》带我们一起检查信念，了解信念为我们做什么，我们是如何持有信念的，以及如何评价信念。作者指出，应该仔细评价我们的信念，因为它们影响着我们如此多的行动和决定。我们所持有的信念可通过概率量化，...详情

经典好书《把時間當作朋友：沒有人能管理時間，你真正能管理的只有你自己》读书内容简介:量，你應該管理的，是自己。擺脫窮忙循環， 拒絕無效空轉你的心智就是一台極需開發的超級電腦運作能力再強，也要適時系統升級才能安裝最新版、最符合你個人生涯的程式比如讀懂經...详情

经典好书《古代人的自由与现代人的自由》读书内容简介:的历史学家都是有色彩的，他们在陈述观点的时候必须事先作出自己的判断，阐明他们自己的思想渊源与所属的政治阵营。这种标签化不仅是针对历史学家个人的，也是针对整个思想界和思想流派的。本书收录的内容就出自其中一个影响深远的思想家，贡斯当的讨论。他在本书中讨论...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

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

经典好书《整理的艺术4：升职从整理开始》读书内容简介:了！修炼外语技能│应对资格考试│规划职业生涯为职场人量身打造风靡日本的超高效职场学习法，“穷忙族”“月光族”“草莓族”翻身必备本书将帮你打造完美的——〖学习工具〗手机、耳机、MP3、录音笔，不起...详情

经典好书《重建时代的人与社会：现代社会结构的研究》读书内容简介: 本书包括：社会重建时代的意义、当代社会中的理性与非理性要素、当代文化危机的社会原因、计划水平的思维等内容。作者简介详情

经典好书《古代人的自由与现代人的自由》读书内容简介:能被误用来论证某种前所未有的暴政。贡斯当是在对卢梭著作的不断评注和反思的时候发现这个问题的。贡斯当指出，主权在本质上必须是有限度的。这个限度就是个人的独立与存在。不论是民主的政府还是少数人控制的政府，都不应企图跨越个人权力所要求的界限。我们必须记得一...详情

经典好书《现实的与哲学的》读书内容简介: 《现实的与哲学的:鲁迅野草重释》内容简介：关于一本薄薄的《野草》，讲的话，已经够多的了。然而，把这些连载于《鲁迅研究月刊》上的浅薄的讲义，汇集在一起，准备付梓时，似乎还想说几句话。作者简介详情