2018.07.26
早上十点在写双向链表的删除功能时，脑中还萦绕着宿舍空调费贵，学习效率极低，于是斗胆问周老师实验室开放时间，想下午去蹭蹭空调，结果老师直接问是否愿意学Coq，我立马回复，I do。哈哈哈哈哈，暑期最后一个月了，得好好学点东西。
花了一个下午搞懂了命题逻辑，谓词逻辑（除了~这个符号证明没搞懂），明天搞清楚后再把图片贴上来。
小感悟
① 学习coq类型知识（像学c,c plus plus一样）先学会基本的语法，从例子着手，接着再学理论，了解原理(像是数据结构，编译原理啥的)。
概括为：语法→实践→理论→实践
好处有两点：上手快；有信心。
② 试着写教程，不能总是看别人写的，迟早是要自己开发软件，而且写教程的同时可以加深对只是的理解，还可以帮助别人，以后还能复习，一石三鸟，成就感极高，哈哈哈哈哈哈哈哈！！！
学习四层次：做题→讲题→写书→妙用
写教程一下子到第三阶段有点舒服，将会给自己无穷的动力。
