结构性归纳法-一流百科

结构性归纳法

简介结构性归纳法是一种证明方法，用于数理逻辑（例如，在证明Łoś'定理）、计算机科学、图论和其他一些数学领域。它是对自然数的数学归纳法的概括，并可进一...