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

经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具，以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X，还是Linux，都可以安装包含80多个命令行工具的“数据科学工具箱”，迅速建立自己的数据分析环...详情

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

经典好书《スピヴァック多変数の解析学》读书内容简介:とくに、概念や方法が微妙で、初等的な段階では厳密にやりぬくことの難かしい部分に主眼をおいた。本書で採用した方法は、高級な数学の現代的方法を初等的に書きなおしたものである。ストークスの諸定理がどれも証明はやさしく、定義や定式化が難かしいというのにはもっ...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《计数组合学（第一卷）》读书内容简介:础导论中的第一卷，适用于研究生和数学研究人员。《计数组合学(第1卷)》主要介绍生成函数的理论及其应用，生成函数是计数组合学中的基本工具。《计数组合学(第1卷)》共分为四章，分别介绍了计数（适合高年级的本科生），筛法（包括容斥原理），偏序集以及有理生成...详情

经典好书《Python数据科学入门》读书内容简介:涵盖了数据采集、清洗、存储、检索、转换、可视化、高级数据分析（网络分析）、统计和机器学习等内容。具体内容包括：数据科学的Python核心特性，文本数据、数据库、表格形式的数值数据、series和frame、网络数据的使用，数据的绘制，概率与统计，机器...详情

经典好书《对比Excel，轻松学习Python数据分析》读书内容简介:本书的一大特色。《对比Excel，轻松学习Python数据分析》围绕整个数据分析的常规流程：熟悉工具—明确目的—获取数据—熟悉数据—处理数据—分析数据—得出结论—验证结论—展示结论进行Excel和Python的对比实现，告诉你每一个过程...详情

经典好书《学习JavaScript数据结构与算法（第2版）》读书内容简介:础知识以及ES6 和ES7 中引入的新功能，接下来讨论了数组、栈、队列、链表、集合、字典、散列表、树、图等数据结构，之后探讨了各种排序和搜索算法，包括冒泡排序、选择排序、插入排序、归并排序、快速排序、堆排序、计数排序、桶排序、基数排序、顺序搜索、二分...详情

经典好书《江恩数字与几何学》读书内容简介:关几何学等理论。根据以往的证券市场的数据，上述理论近乎神奇地对股票等市场有着准确的解释和预言的作用。江恩理论最核心的部分是斐波纳契数列，《江恩数字与几何学》详细介绍了斐波纳契数列的由来、对价格分析与预测的作用、对时间分析与预测的作用、对比率分析与预测...详情