读了一些经验贴,了解到了总体思路体系。已经有北大小天使作出开源(csdiy.wiki),计划照此进行学习,帖子都安利了cs610这一网站课程体系。
今天所做的事情是学习了奠基的数学课离散数学(discrete math)第一节,使用ucl cs70 B站资源。
节内要点为学习命题def、推出命题真值表(这个知识点,看到有n个uu表示和我同样疑惑的说,形式逻辑规则还是和日常语言思维不太一样的昂)以及总的命题真值表总结。老师认为学习离散数学应当要掌握的是解决问题的思路,并且举例了一些google的例题。老师期望在期末的时候,同学们能够认识到proof证明过程和code代码过程的一致性(虽然现在还似懂非懂,不过期待一波)
随时有可能中断计划,但还是记录一下。