读《程序员的数学》
日本人：结城浩
2012年11月 第1 版
条件分支和逻辑
循环和数学归纳法
分类和计数方法
0 的作用
占位
统一标准，简化规则
印度人：引进巴比伦计数法的同时，认识到0也是数字
并采用了10进制计数法，0~9 被称为阿拉伯数字而不是印度数字
可能是因为阿拉伯学者将印度数学引入的西欧。
逻辑
逻辑是消除歧义的工具
有没有遗漏
有没有重复
完整性和排他性
真值表（规则中所有的可能全部列出）
卡诺图：
二维表，列和行分别是二个对象，子行或子列是此对象的所有状态列出。再把二个对象的所有状态相交的结果写出。
60 页
余数
分组的功能
数学归纳法
解决无穷问题的方法
高斯求和
积数的合，就是N2，N表示有几个积数。
排列组合
有多少种排列组合
P(k,n) = n! / (n-k)!
如果是5张排，取出3张，有多少种
= 5! / (5-3)!
指数爆炸
1mm 厚的纸对折39次就达到 549755.813888KM 超过了地月距离（39万公里）。
解决：
极力求解：爆力的来
变相求解：转换成简单的问题来求解
近似求解：不求完全解达，近似就好
概率求解
不可解问题
反证法
推荐阅读 3.5 星
简单，易懂，以学到东西或教出东西为目标，而不是为了写大写全。感觉此书定位好。