💬 写在前面：所有编程语言都是通过归纳法定义的。因此，虽然编程语言本身是有限的，但用该语言编写的程序数量是没有限制的，本章将学习编程语言研究中最基本的归纳法。本章我们继续讲解归纳法，介绍归纳假设和结构性归纳法。 目录 0x00 归纳假设 (IH) 和结构归纳法 0x01 归纳假设的证明 0x00 归纳假设 (IH) 和结构归纳法 归纳法是一种用于证明归纳定义的集合中的元素所具有