计算机程序设计艺术

整理了数学归纳法的定义及其算法形式，整理并解读了书中通过数学归纳法证明推广的欧几里得算法有效性的部分

对第一卷第一章1.1节的部分知识点进行整理，重点解读了计算方法的形式化定义和有关算法可行性的示例。补充了书中引用的马尔可夫算法的介绍，同时记录书中一些重要概念。