主页

数理逻辑

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

阅读更多