ThinkChat2.0新版上线,更智能更精彩,支持会话、画图、阅读、搜索等,送10W Token,即刻
开启你的AI之旅
广告
## 编写正确的程序 本章以二分搜索为例子,讲述了如何对程序进行验证及正确性分析。 深入阅读:David Gries的《Science of Programming》 是程序验证领域里极佳的一本入门书籍。
开篇
啊哈!算法
数据决定程序结构
编写正确的程序
编程中的次要问题
程序性能分析
粗略估算
算法设计技术
代码调优
节省空间
排序
取样问题
搜索
堆
字符串