2018.07.26

    早上十点在写双向链表的删除功能时，脑中还萦绕着宿舍空调费贵，学习效率极低，于是斗胆问周老师实验室开放时间，想下午去蹭蹭空调，结果老师直接问是否愿意学Coq，我立马回复，I do。哈哈哈哈哈，暑期最后一个月了，得好好学点东西。

      花了一个下午搞懂了命题逻辑，谓词逻辑（除了~这个符号证明没搞懂），明天搞清楚后再把图片贴上来。

    小感悟

① 学习coq类型知识（像学c,c plus plus一样）先学会基本的语法，从例子着手，接着再学理论，了解原理(像是数据结构，编译原理啥的)。

概括为：语法→实践→理论→实践

好处有两点：上手快；有信心。

②  试着写教程，不能总是看别人写的，迟早是要自己开发软件，而且写教程的同时可以加深对只是的理解，还可以帮助别人，以后还能复习，一石三鸟，成就感极高，哈哈哈哈哈哈哈哈！！！

学习四层次：做题→讲题→写书→妙用

写教程一下子到第三阶段有点舒服，将会给自己无穷的动力。