程序员的数学系列（一）

程序员的数学系列阅读笔记，第一部分介绍数学基础，还有一些有趣的数学问题

第1章 0的故事

无即是有，zero matters

10进制

2503

$2_{\times 10^3}+5_{\times 10^2}+0_{\times 10^1}+3_{\times 10^0}$

2进制

1100

$1_{\times 2^3}+1_{\times 2^2}+0_{\times 2^1}+0_{\times 2^0}$

基数转换

• 2进制表示12
  
  计算机计算过程：$(21+19)\stackrel{转换为2进制}{\to }(10101+10011)\stackrel{使用2进制计算}{\to }(101000)\stackrel{转换为10进制}{\to }(40)$

指数法则

$10^3\stackrel{\frac{1}{10}}{\to }10^2\stackrel{\frac{1}{10}}{\to }10^1\stackrel{\frac{1}{10}}{\to }10^0=1$

$2^5\stackrel{\frac{1}{2}}{\to }{2}^4\stackrel{\frac{1}{10}}{\to }{2}^3\stackrel{\frac{1}{2}}{\to }{2}^2\stackrel{\frac{1}{2}}{\to }{2}^1\stackrel{\frac{1}{2}}{\to }{2}^0\stackrel{\frac{1}{2}}{\to }{2}^{-1}=\frac{1}{2}$

指数法则

$$N^a\times {\mathbb{N}}^b=N^{a+b}(N\ne 0)$$

0所起的作用

• 占位

  2503， 表示10位什么都没有

• 统一标准，简化规则

  按位计数就可统一写为

  $a_k\times 10^k$

  $n=3,a_3=2,a_2=5,a_1=0,a_0=3\to 2503$

• 0表示没有

  有规律地服用一种胶囊，每4天停用一次。也就是3天服用，1天停用。于是每4粒胶囊中有1粒是“没有药效”的假胶囊，放入标有日期的盒子并放入每天需要服用的药，以后就只用每天服用。

第2章 逻辑

真与假的二元世界

逻辑是消除歧义得工具

兼顾完整性和排他性

没有遗漏，没有重复

逻辑非

$A$	$\neg A$
true	false
false	true

双重否定表肯定

$A$	$\neg A$	$\neg \neg A$
true	false	true
false	true	false

逻辑与

$A\wedge B(AandB)$

真值表

$A$	$B$	$A\wedge B$
true	true	true
true	false	false
false	true	false
false	false	false

文氏图

文氏图表示$\neg (A\wedge B)$

逻辑或

$A\vee B(AorB)$

真值表

$A$	$B$	$A\vee B$
true	true	true
true	false	true
false	true	true
false	false	false

文氏图

文氏图表示$(\neg A)\vee (\neg B)$

异或

$A\oplus B$
真值表

$A$	$B$	$A\vee B$
true	true	false
true	false	true
false	true	true
false	false	false

文氏图

相等

$A=B$
真值表

$A$	$B$	$A=B$
true	true	true
true	false	false
false	true	false
false	false	true

文氏图

$\neg (A\oplus B)\to (A=B)$

蕴含—若A则B

$A⟹B$
真值表

$A$	$B$	$A⟹B$
true	true	true
true	false	false
false	true	true
false	false	true

A为true时，仅当B为false时$A⟹B$才为false
A为false时，$A⟹B$恒为true

此为逻辑上“如果”的定义

我们平时说的“若A则B”有两种情况

1. 若A为true，则B也为true。若A为false，则B也为false
2. 若A为true，则B也为true。但是，若A为false时，则B为true/false都可以（对B没有任何影响）

在逻辑上二者的区别在于，1是$A=B$，2是$A⟹B$

文氏图，$(\neg A)\vee B$的文氏图也是这样，于是$(\neg A\vee B)⟺(A⟹B)$，二者等价

$B⟹A$为$A⟹B$的逆命题，逆命题不一定为真

$(\neg B)⟹(\neg A)$的文氏图也和$A⟹B$的相同(二者等价)，即，$((\neg B)⟹(\neg A))⟺(A⟹B)$
此为$A⟹B$的逆否命题

德·摩根定律

$(\neg A)\vee (\neg B)=\neg (A\wedge B)$

$(\neg A)\wedge (\neg B)=\neg (A\vee B)$

三值逻辑的德·摩根定律

$(!A)\vee (!B)=!(A\wedge B)$
$(!A)\wedge (!B)=!(A\vee B)$

if (!(x >= 0 && y >= 0)) {
    .....
}
// equal to
if (x < 0 || y < 0) {
    ....
}

本章小结

逻辑的各种表现形式

if语句将世界一分为二，条件成立的世界和条件不成立的世界

第3章 余数

周期性和分组

星期数问题

今天是星期日，100天后是星期几？

1亿天呢？

$10^{100}$天后呢？

$100÷7=14...2$

因此100天后是星期二

$10^8÷7=14285714...2$

因此1亿天后是星期二

0的个数	数字	除以7的余数	星期数
0	1	1	一
1	10	3	三
2	100	2	二
3	1000	6	六
4	10000	4	四
5	100000	5	五
6	1000000	1	一
7	10000000	3	三
8	100000000	2	二
9	1000000000	6	六
10	10000000000	4	四
11	100000000000	5	五
12	1000000000000	1	一

余数以1、3、2、6、4、5···的顺序循环

$100÷6=16...4$

余数为4，因此$10^{100}$天后是星期四

直观地把握规律

第n天是星期几

第$10^n$天是星期几

乘方得思考题

$1234567^{987654321}$的个位数是什么

试算：

$1234567^0$的个位数=$7^0$的个位=1

$1234567^1$的个位数=$7^1$的个位=7

$1234567^2$的个位数=$7^2$的个位=9

$1234567^3$的个位数=$7^3$的个位=3

$1234567^4$的个位数=$7^4$的个位=1

$1234567^5$的个位数=$7^5$的个位=7

$1234567^6$的个位数=$7^6$的个位=9

$1234567^7$的个位数=$7^7$的个位=3

$1234567^8$的个位数=$7^8$的个位=1

$1234567^9$的个位数=$7^9$的个位=7

周期为4，用987654321对4取余0、1、2、3其中之一，它们分别对应1、7、9、3

余1，所以个位数是7

黑白棋通信

1. 桌面随机7枚黑白棋棋子，魔术师蒙着眼睛，看不到棋子
   
2. 魔术师徒弟看完7枚棋子后，又放进一枚，这时桌面有8枚棋子
   
3. 观众可以选择翻转一枚或者不翻转任何棋子，此时观众和徒弟都不能说话
4. 魔术师观察8枚棋子，马上就能判断观众是不是翻转了棋子