Tag: 系统设计与验证
All the articles with the tag "系统设计与验证".
-
Fusc-like 6步走
Fusc类递归函数的系统化6步解题方法,处理奇偶分支的递归定义函数
-
系统设计题目总结
系统设计与验证课程题目分类总结,包括归约、搜索算法、二分查找、递归函数、片段问题等
-
Binary Chop 9步走
Binary Chop算法的系统化9步解题方法,包括前置后置条件、不变量选择、循环体构建等完整步骤
-
Fibonacci-like 6步走
Fibonacci类递归函数的系统化6步解题方法,通过不变量和循环构造高效算法