马尔可夫与强化学习

逻辑学（四）——一阶逻辑的推断

逻辑学（三）——一阶逻辑

逻辑学（二）——推理与证明

逻辑学（一）——命题与逻辑

逻辑学（零）——模型，蕴含与推断

极小极大搜索与α-β剪枝