学点码记录

读了一些经验贴，了解到了总体思路体系。已经有北大小天使作出开源（csdiy.wiki），计划照此进行学习，帖子都安利了cs610这一网站课程体系。

今天所做的事情是学习了奠基的数学课离散数学（discrete math）第一节，使用ucl cs70 B站资源。

节内要点为学习命题def、推出命题真值表（这个知识点，看到有n个uu表示和我同样疑惑的说，形式逻辑规则还是和日常语言思维不太一样的昂）以及总的命题真值表总结。老师认为学习离散数学应当要掌握的是解决问题的思路，并且举例了一些google的例题。老师期望在期末的时候，同学们能够认识到proof证明过程和code代码过程的一致性（虽然现在还似懂非懂，不过期待一波）

随时有可能中断计划，但还是记录一下。