2018.07.26
早上十点在写双向链表的删除功能时，脑中还萦绕着宿舍空调费贵，学习效率极低，于是斗胆问周老师实验室开放时间，想下午去蹭蹭空调，结果老师直接问是否愿意学Coq，我立马回复，I do。哈哈哈哈哈，暑期最后一个月了，得好好学点东西。
花了一个下午搞懂了命题逻辑，谓词逻辑（除了~这个符号证明没搞懂），明天搞清楚后再把图片贴上来。
① 学习coq类型知识（像学c,c plus plus一样）先学会基本的语法，从例子着手，接着再学理论，了解原理(像是数据结构，编译原理啥的)。
概括为：语法→实践→理论→实践
好处有两点：上手快；有信心。
② 试着写教程，不能总是看别人写的，迟早是要自己开发软件，而且写教程的同时可以加深对只是的理解，还可以帮助别人，以后还能复习，一石三鸟，成就感极高，哈哈哈哈哈哈哈哈！！！
学习四层次：做题→讲题→写书→妙用
写教程一下子到第三阶段有点舒服，将会给自己无穷的动力。
2018.07.26 早上十点在写双向链表的删除功能时，脑中还萦绕着宿舍空调费贵，学习效率极低，于是斗胆问周...
What is Coq ? Coq is a formal proof management system. It...
公共分布式分类账平台Hedera Hashgraph最近宣布hashgraph consensus算法已被验证为异...
Coq
Beneficial effects of creatine, CoQ10, and lipoic acid in...
CoQ10活能肌肤修复露&肌肤修护精华露 白天使用CoQ10活能肌肤修复露，高效发挥辅酶Q10的生物活性，从而激发...
本文选自nature，https://doi.org/10.1038/s41586-019-1705-2，喜欢的可...
==。 最近刚刚把sf大概的读了一下，虽说coq练习的练习还是写了挺多的，但是还是发现对于考试的要求还是不够的， ...
我们提供的不仅是一个工作机会，更是一个展现自我的无限舞台！ 此刻，加入我们， 和le coq sportif一起 ...
我们提供的不仅是一个工作机会，更是一个展现自我的无限舞台！ 此刻，加入我们， 和le coq sportif一起 ...
本文标题：Coq证明
本文链接：https://www.haomeiwen.com/subject/qhhvmftx.html
网友评论