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

经典好书《广雅疏证》读书内容简介:作。实际上，《广雅疏证》乃是王念孙借《广雅》一书以畅述其音韵、文字、训诂之学识的集大成之作，更是清代语言学史上成就较高的小学要籍。《广雅疏证》之篇章次序一仍《广雅》，对其训释，逐条加以疏证，内容主要有“补正《广雅》文字”、“辨证张揖误采”、“纠正先儒...详情

经典好书《证券组合定量管理》读书内容简介:策略》内容简介：证券市场的深刻理解与专业的定量管理技术相结合，从基本原理到技术规范，涵盖各种证券组合定量策略与管理方法。这是一本必备理论指南，阐释了对证券市场的深刻理解，讲述构建和管理一个高收益证券组合的全过程。这是一本实用性很强的工作手册，既可以服...详情

经典好书《华尔街顶级证券分析师的忏悔》读书内容简介:不在的内幕信息泄漏和最隐秘的内幕交易。关于二战以来全球最大的公司欺诈案——世通公司案件的最详尽、最具权威的描述与分析　　关于有史以来最大的白领犯罪之王伯尼·埃伯斯和金口水分析师杰克·格鲁布曼　　关于那次历史性的“股市泡沫”...详情

经典好书《数学证明》读书内容简介:碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种工夫在数学活动中有何作用？它是否真正确立无可置疑的结论？它是事后的装扮工夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？本书试以大量实例与读者探讨...详情

经典好书《红楼梦新证》读书内容简介:生于天津咸水沽镇。我国著名红学家，曾就学于北京燕京大学西语系本科、中文系研究院。他是继胡适等诸先生之后，新中国研究《红楼梦》的第一人，享誉海内外的考证派主力和集大成者。先后任燕京大学西语系教员、华西大学与四川大学外文系讲师、人民文学出版社古典部编辑、...详情

经典好书《古诗文名物新证（全二册）》读书内容简介:入手，每一次历史细节的发现，都引领作者看见一片新景致，发现一片新天地。特别是这种历史的细节，被现代考古发掘和传世的文物，历史文献、古代诗文和绘画图像等三种不同的话语和文本“三证归一”、相证如一的时候，更具有惊人的历史冲击力。作者简介</...详情

经典好书《山海经注证》读书内容简介:博物学、科学技术发展史的观点重新加以注解、论证。再结合中国古代动物的家化史，注证中国大地上先民在战胜凶猛动物和驯养家畜过程中，发生以凶猛动物和家养动物为图腾、标帜、族名的史实。解释了《山海经》中奇形怪物是各氏族的图腾神，解决了自秦汉以来迷惑历代学者的...详情

经典好书《证券混沌操作法》读书内容简介:交易结果，无论成败，完全取决于你自己，取决于你的心灵。混沌交易法是一种交易思维理论，是理念和心态上的交易层面，近乎交易哲学，交易者不同的经历和心智对其领悟的程度是不同的，即使同一人在不同的阶段，感悟也不同。在讲解如何修炼交...详情

经典好书《设计论证》读书内容简介:erican scholar and editor. He is currently a professor at Queens College, City University of New York. He is also the editor-...详情