主页

大学的书籍

在四年大学生活中,如果除开学习和游戏,最多的可能就是读书了,也可能不需要除开也是最多的。 毕竟也没有什么读书计时器这种方便的东西。所以有没有什么类似于 steam 的读书平台呢? 可惜是没有的。我只能凭借记忆和豆瓣上的记录来梳理一下大学期间读的书籍。

阅读更多

数理逻辑

大一学离散数学时,zyj讲逻辑讲得又臭又长。 于是开始自学一部分,找了一本《面向计算机科学的数理逻辑》。 里面的内容由于我不是数学专业,不知道如何评价,但就是以CS的学生来说,它确实讲清楚了形式逻辑的由来和区别,这一点倒是很关键。

阅读更多