计算机科学中的数学 信息与智能时代的必修课 统计机器学习数据挖掘数学入门教程 程序员的数学定义证明方法应用书籍 参数