结构归纳法 编辑
结构归纳法是应用在数理逻辑、计算机科学、图论和一些其他数学领域的证明方法，是一般化的数学归纳法 。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
数学归纳法是一种数学证明方法，通常被用于数学证明某个给定命题在整个或者局部自然数范围内成立。除了自然数以外，广义化上的数学归纳法也可以用于证明一般良基关系结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。