应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗

已完成 0/5 节课
○ 1. 阅读材料: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 材料 ○ 2. 图表: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 图表 ○ 3. 学习指南: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 笔记 ○ 4. 测验: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 测验 ○ 5. 卡片: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 卡片
课程菜单

课程

Production SDD for Qwen Code CLI. Part 2
进度 0 / 100

🔒 阅读材料: 应用部分 1. 从遗留系统中恢复规范 🔒 图表: 应用部分 1. 从遗留系统中恢复规范 🔒 学习指南: 应用部分 1. 从遗留系统中恢复规范 🔒 测验: 应用部分 1. 从遗留系统中恢复规范 🔒 卡片: 应用部分 1. 从遗留系统中恢复规范

🔒 阅读材料: 应用部分 2. 规格缺陷诊断 🔒 图表: 应用部分 2. 规格缺陷诊断 🔒 学习指南: 应用部分 2. 规格缺陷诊断 🔒 测验: 应用部分 2. 规格缺陷诊断 🔒 卡片: 应用部分 2. 规格缺陷诊断

🔒 阅读材料: 应用部分 3. 项目宪法：首次规则公投 🔒 图表: 应用部分 3. 项目宪法：首次规则公投 🔒 学习指南: 应用部分 3. 项目宪法：首次规则公投 🔒 测验: 应用部分 3. 项目宪法：首次规则公投 🔒 卡片: 应用部分 3. 项目宪法：首次规则公投

🔒 阅读材料: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 🔒 图表: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 🔒 学习指南: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 🔒 测验: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗 🔒 卡片: 应用部分 4. LLM对决：验证器与实现者在形式化陈述中的对抗

🔒 阅读材料: 应用部分 5. 规范的变异测试 🔒 图表: 应用部分 5. 规范的变异测试 🔒 学习指南: 应用部分 5. 规范的变异测试 🔒 测验: 应用部分 5. 规范的变异测试 🔒 卡片: 应用部分 5. 规范的变异测试

🔒 阅读材料: 应用部分 6. 影子规格的选择 🔒 图表: 应用部分 6. 影子规格的选择 🔒 学习指南: 应用部分 6. 影子规格的选择 🔒 测验: 应用部分 6. 影子规格的选择 🔒 卡片: 应用部分 6. 影子规格的选择

🔒 阅读材料: 应用部分 7. Specification CI：规范作为可执行产物 🔒 图表: 应用部分 7. Specification CI：规范作为可执行产物 🔒 学习指南: 应用部分 7. Specification CI：规范作为可执行产物 🔒 测验: 应用部分 7. Specification CI：规范作为可执行产物 🔒 卡片: 应用部分 7. Specification CI：规范作为可执行产物

🔒 阅读材料: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 图表: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 学习指南: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 测验: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 卡片: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例

🔒 阅读材料: 应用部分 9. 模型路由与令牌预算 🔒 图表: 应用部分 9. 模型路由与令牌预算 🔒 学习指南: 应用部分 9. 模型路由与令牌预算 🔒 测验: 应用部分 9. 模型路由与令牌预算 🔒 卡片: 应用部分 9. 模型路由与令牌预算

🔒 阅读材料: 应用部分 10. 防止古德哈特定律对指标的扭曲：哨兵指标与应急模式 🔒 图表: 应用部分 10. 防止古德哈特定律对指标的扭曲：哨兵指标与应急模式 🔒 学习指南: 应用部分 10. 防止古德哈特定律对指标的扭曲：哨兵指标与应急模式 🔒 测验: 应用部分 10. 防止古德哈特定律对指标的扭曲：哨兵指标与应急模式 🔒 卡片: 应用部分 10. 防止古德哈特定律对指标的扭曲：哨兵指标与应急模式

🔒 阅读材料: 应用部分 11. 与真实 API 集成：从规范到部署 🔒 图表: 应用部分 11. 与真实 API 集成：从规范到部署 🔒 学习指南: 应用部分 11. 与真实 API 集成：从规范到部署 🔒 测验: 应用部分 11. 与真实 API 集成：从规范到部署 🔒 卡片: 应用部分 11. 与真实 API 集成：从规范到部署

🔒 阅读材料: 应用部分 12. 生产SDD反模式：应用周期诊断图 🔒 图表: 应用部分 12. 生产SDD反模式：应用周期诊断图 🔒 学习指南: 应用部分 12. 生产SDD反模式：应用周期诊断图 🔒 测验: 应用部分 12. 生产SDD反模式：应用周期诊断图 🔒 卡片: 应用部分 12. 生产SDD反模式：应用周期诊断图

🔒 阅读材料: 应用部分 13. 实践考核：构建生产环境 SDD 流程 🔒 图表: 应用部分 13. 实践考核：构建生产环境 SDD 流程 🔒 学习指南: 应用部分 13. 实践考核：构建生产环境 SDD 流程 🔒 测验: 应用部分 13. 实践考核：构建生产环境 SDD 流程 🔒 卡片: 应用部分 13. 实践考核：构建生产环境 SDD 流程

🔒 阅读材料: 附录A. 通往第一卷的桥梁 🔒 图表: 附录A. 通往第一卷的桥梁 🔒 学习指南: 附录A. 通往第一卷的桥梁 🔒 测验: 附录A. 通往第一卷的桥梁 🔒 卡片: 附录A. 通往第一卷的桥梁

🔒 阅读材料: 附录 B. Qwen Code 兼容性 🔒 图表: 附录 B. Qwen Code 兼容性 🔒 学习指南: 附录 B. Qwen Code 兼容性 🔒 测验: 附录 B. Qwen Code 兼容性 🔒 卡片: 附录 B. Qwen Code 兼容性

🔒 阅读材料: 附录 C. 应用 SDD 检查清单 🔒 图表: 附录 C. 应用 SDD 检查清单 🔒 学习指南: 附录 C. 应用 SDD 检查清单 🔒 测验: 附录 C. 应用 SDD 检查清单 🔒 卡片: 附录 C. 应用 SDD 检查清单

🔒 阅读材料: 附录 D. 阈值校准 🔒 图表: 附录 D. 阈值校准 🔒 学习指南: 附录 D. 阈值校准 🔒 测验: 附录 D. 阈值校准 🔒 卡片: 附录 D. 阈值校准

🔒 阅读材料: 应用卷术语表 🔒 图表: 应用卷术语表 🔒 学习指南: 应用卷术语表 🔒 测验: 应用卷术语表 🔒 卡片: 应用卷术语表

🔒 阅读材料: 应用卷。Qwen Code CLI 的生产环境 SDD 🔒 图表: 应用卷。Qwen Code CLI 的生产环境 SDD 🔒 学习指南: 应用卷。Qwen Code CLI 的生产环境 SDD 🔒 测验: 应用卷。Qwen Code CLI 的生产环境 SDD 🔒 卡片: 应用卷。Qwen Code CLI 的生产环境 SDD