鹿岸在课堂上肆无忌惮地看《马克思主义哲学》，没有听老师在讲什么内容，旁边叶青城正在低头在纸上计算。地址失效发送任意邮件到 Ltxs Ba@gmail.com 获取最新地址

离散数学的老师滔滔不绝，“我们学计算机离不开写程序，那程序是什么？程序其实是一堆独立指令的组合，可你写好之后怎么知道程序是对的？

怎么验证呢？当然可以人肉测试，但是你不能保证你测试到了所有的情况。这时离散数学也给我们打开了一扇窗，我们也可以自动验证，自动纠错。”

鹿岸转过头看一脸认真的叶青城，皱着眉头在纸上写着程序，可能不知道哪里出现了问题。

片刻，叶青