经典好书《Real World Haskell―実戦で学ぶ関数型言語プログラミング》读书内容简介: Irish hacker and writer who likes distributed systems, open source software, and programming languages. He was a member of t...详情
高等数理统计学 书籍
经典好书《高等数理统计学》读书内容简介:统计学基础教科书”,内容除预备知识外,主要是关于几种基本统计推断形式(点估计、区间估计、似设检验)的大小样本理论和方法,另有一章讲述线性模型的初步理论。《高等数理统计学》的最大特色是习题及其提示的安排,占了近半的篇幅,其中除少量选摘自有...详情
机器学习线性代数基础 书籍
经典好书《机器学习线性代数基础》读书内容简介:格偏重理论定义和运算技巧,想以此高效地打下机器学习的数学基础,针对性和可读性并不佳。本书以机器学习涉及的线性代数核心知识为重点,进行新的尝试和突破:从坐标与变换、空间与映射、近似与拟合、相似与特征、降维与压缩这5个维度,环环相扣地展开线性代数与机器学...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
命令行中的数据科学 书籍
经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具,以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X,还是Linux,都可以安装包含80多个命令行工具的“数据科学工具箱”,迅速建立自己的数据分析环...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
计数组合学(第一卷) 书籍
经典好书《计数组合学(第一卷)》读书内容简介:础导论中的第一卷,适用于研究生和数学研究人员。《计数组合学(第1卷)》主要介绍生成函数的理论及其应用,生成函数是计数组合学中的基本工具。《计数组合学(第1卷)》共分为四章,分别介绍了计数(适合高年级的本科生),筛法(包括容斥原理),偏序集以及有理生成...详情
Python数据科学入门 书籍
经典好书《Python数据科学入门》读书内容简介:涵盖了数据采集、清洗、存储、检索、转换、可视化、高级数据分析(网络分析)、统计和机器学习等内容。具体内容包括:数据科学的Python核心特性,文本数据、数据库、表格形式的数值数据、series和frame、网络数据的使用,数据的绘制,概率与统计,机器...详情
经典好书《学习JavaScript数据结构与算法(第2版)》读书内容简介:础知识以及ES6 和ES7 中引入的新功能,接下来讨论了数组、栈、队列、链表、集合、字典、散列表、树、图等数据结构,之后探讨了各种排序和搜索算法,包括冒泡排序、选择排序、插入排序、归并排序、快速排序、堆排序、计数排序、桶排序、基数排序、顺序搜索、二分...详情