计算机概论-结构归纳法(structural induction)
结构归纳法(structural induction)结构归纳法(structural induction)归纳列表(induction on list)树结构的归纳结构归纳法(structural induction)菜鸡在ANU学习这章时发现中文资料甚少,再此进行梳理(复习)。欢迎大佬指点讨论。归纳列表(induction on list)如何定义列表定义关于元素属性A的空列表[]给出列表A的元素a,并加上前缀(写作 a:A)如何对列表I证明特性P(I)P()对于空列表成立(p([
原创
2020-09-11 16:38:03 ·
3047 阅读 ·
3 评论