经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《当代中国的社会治理与政治秩序》读书内容简介:社会治理来说，如何在社会发展与政治秩序之间保持合理平衡和良性互动，始终是一个难题。一方面，由于复杂的历史原因和国内外形势，整个社会的发展高度依赖于国家的强力领导，并确实取得了不凡的成就，但另一方面，快速而卓有成效的社会发展却反过来对国家的强力领导和既...详情

经典好书《文学术语词典（中英对照）》读书内容简介:短明快的文字概述了文学理论、文学史和文学批评方面的关键术语。现在的第7版包含了更多的新词条，其中一些是有关最新的文学批评理论的；所有早期的词条都进行了重新修订，有的进行了彻底重写；各个独立的词条中提到的相关作品也重新扩充了，把新近的作品包含了进来；在...详情

经典好书《量子物理学中的常用算法与程序》读书内容简介:述了计算机物理的基础知识，并给出量子物理学中常用算法及相应的FORTRAN程序。全书申13章组成，主要包括FORTRAN算法语言简介，代数公式，常用特殊函数，3i、6j和9j符号，一元方程，线性代数，函数插值与微商，常微分方程，数值积分，本征问题，递...详情

经典好书《ハタチの赤 内山理名 00‐01 (大型本)》读书内容简介: 作者简介详情

经典好书《自由秩序原理》读书内容简介:自由的概念出发，探讨了自由同社会伦理的多维度的关系，从而论证了自由在社会实践当中的价值所在。自由同法律的关系问题是作者给予深切关注的问题。由此，作者对于宪政制度有着很中肯的评价。在本书的第三部分，作者更就福利国家的自由问题进行了有益的探讨。本书曾经被...详情

经典好书《巴菲特和查理·芒格内部讲话》读书内容简介:巴菲特和查理·芒格为首的伯克希尔股东大会30年间内部讲话的精华。持续30年的追踪，以清晰的架构和严谨简练的语言，记录下“股神”巴菲特和其黄金搭档查理·芒格的最有价值的评论与见解。让你亲临股东大会现场般，聆听两位传奇投资人揭示财 富自由的秘诀和不焦虑的...详情

经典好书《真实的幸福：央视《读书》五天力荐；清华大学心理学系主任彭凯平教授作序推荐》读书内容简介:格曼的集大成之作，是央视《读书》栏目连续五天力荐的作品，是每一个人提升幸福感不可不读的经典作品。● 过去的几十年，心理学只关心一件事，那就是心理疾病，而且做得不错——我们可以对抑郁症、精神分裂症、酗酒等问题做出非常精准的描绘，并且已经有...详情

电视剧【我在麻理体内剧情介绍】剧情介绍:化するもの。ゲームと自慰行为に明け暮れる日々を送る青年?小森功(吉沢亮)がある朝、目を覚ますと、いつも尾行していた女子高生?吉崎麻理(池田)のなかに入ってしまったことが発覚し、中身が违うことに気づいたクラスメイトの柿口依(中村ゆりか)と真相を突き止め...详情

经典好书《康德著作全集（注释本 第6卷）：纯然理性界限内的宗教道德形而上学》读书内容简介: 作者简介详情