zhh-4096
2019-11-28 00:00:00 发布
对于偏工程问题的解决方案，对这类方案做形式化证明来确保其正确性，这个证明不但不好做，还常常像个裹脚布。哪怕是国内国外的数据库教科书，也极少对具体算法、数据结构、模型、协议给出形式化证明的，这进一步加剧了读者对形式化证明的轻视。学计算机不像学数学那样严肃，学数学就是学推导和证明。