编程珠玑之第四章习题1

习题描述：

1、尽管我们的二分搜索证明历经曲折，但是按照某些标准来衡量还是不够完善。你会如何证明该程序没有运行时错误(例如除数为0， 数值溢出、变量值超出声明的范围或者数组下标越界)呢？如果有离散数字的基础知识，你能否用逻辑系统形式化该证明？

习题解析：

暂无

解决方案：

暂无

心得疑惑：

暂无