不动点归纳法

（计算机科学技术）
不动点归纳法（fixed-point induction），计算机科学技术名词，证明关于最小不动点的谓词成立的方法。
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》