发布于 5 天前
摘要
阿木博主一句话概括：基于代码编辑模型的Scheme语言递归函数数学归纳法证明技巧研究 阿木博主为你简单介绍： 数学归纳法是数学证明中的一种基本方法，尤其在递归函数的证明中具有重要意义。本文以Scheme语言为背景，