• 大小: 104KB
    文件类型: .doc
    金币: 1
    下载: 0 次
    发布日期: 2021-05-10
  • 语言: 其他
  • 标签: 递归  程序  证明  

资源简介

本论文讲叙了递归程序的正确证明,本文实际是程序设计方法学的平时论文,主要讲叙了递归程序证明的集中方法,并举例论证。

资源截图

代码片段和文件信息

评论

共有 条评论