经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《スピヴァック多変数の解析学》读书内容简介:とくに、概念や方法が微妙で、初等的な段階では厳密にやりぬくことの難かしい部分に主眼をおいた。本書で採用した方法は、高級な数学の現代的方法を初等的に書きなおしたものである。ストークスの諸定理がどれも証明はやさしく、定義や定式化が難かしいというのにはもっ...详情
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情
计数组合学(第一卷) 书籍
经典好书《计数组合学(第一卷)》读书内容简介:础导论中的第一卷,适用于研究生和数学研究人员。《计数组合学(第1卷)》主要介绍生成函数的理论及其应用,生成函数是计数组合学中的基本工具。《计数组合学(第1卷)》共分为四章,分别介绍了计数(适合高年级的本科生),筛法(包括容斥原理),偏序集以及有理生成...详情
Python数据科学入门 书籍
经典好书《Python数据科学入门》读书内容简介:涵盖了数据采集、清洗、存储、检索、转换、可视化、高级数据分析(网络分析)、统计和机器学习等内容。具体内容包括:数据科学的Python核心特性,文本数据、数据库、表格形式的数值数据、series和frame、网络数据的使用,数据的绘制,概率与统计,机器...详情
经典好书《对比Excel,轻松学习Python数据分析》读书内容简介:本书的一大特色。《对比Excel,轻松学习Python数据分析》围绕整个数据分析的常规流程:熟悉工具—明确目的—获取数据—熟悉数据—处理数据—分析数据—得出结论—验证结论—展示结论进行Excel和Python的对比实现,告诉你每一个过程...详情
江恩数字与几何学 书籍
经典好书《江恩数字与几何学》读书内容简介:关几何学等理论。根据以往的证券市场的数据,上述理论近乎神奇地对股票等市场有着准确的解释和预言的作用。江恩理论最核心的部分是斐波纳契数列,《江恩数字与几何学》详细介绍了斐波纳契数列的由来、对价格分析与预测的作用、对时间分析与预测的作用、对比率分析与预测...详情
经典好书《历史学田野实践教学的理论、方法与案例》读书内容简介:部历史学田野实践教学教材。编者积十余年田野教学实践之经验,撰成本书。全书分为上下两编,上编为理论方法,解答了历史学田野实践教学的目的、意义等问题,阐述了田野实践教学所使用的主要方法,包括如何在历史场景中解读族谱、契约、碑刻等民间文献,以及在田野中阅读...详情
代数幾何学 书籍
经典好书《代数幾何学》读书内容简介:したものに、可換環論の初歩と圏論についての付録を付けた、代数幾何学の標準的な教科書。77年数理解析研究所刊に加筆修正した新版。作者简介広中/平祐京都大学名誉教授、理学博士。京都大学大学院理学研究科修士課程修了...详情
国学治学方法 书籍
经典好书《国学治学方法》读书内容简介:取、博古通今为准则;今人治学,则进而求融合中西,以一已之心思才力,涵泳古今中外之心思才力,以求创获。读书乃治学之基础,治学必由读书以知晓学术流变。前辈学人治学方法的借鉴、研究资料的搜集与图书文物的利用以及治学的思维诸方面,都于国学治学关系甚大,《国学...详情