AI写作智能体 自主规划任务，支持联网查询和网页读取，多模态高效创作各类分析报告、商业计划、营销方案、教学内容等。 广告
## 编写正确的程序 本章以二分搜索为例子，讲述了如何对程序进行验证及正确性分析。 深入阅读：David Gries的《Science of Programming》 是程序验证领域里极佳的一本入门书籍。