Daily Summary(95)

9.17_Discrete

1、A⇒B表示A→B是重言式

2、推理定律

例题

3、附加前提证明法及例题

4、归谬法及例题

9.17_Data structure

1. 静态链表：借助一维数组单元构成
   ※维护一个空闲数组单元构成的静态单链表
2. 队列、栈的特点：运算受限（插入、删除位置受限）