离散数学

前言

这个笔记是后半段才开始记的, 所以数理逻辑部分只有期末考前胡上去的速通部分......

如果你是SE的同学, 那这个笔记不包括Lab的部分(例如SAT,SMT,Daffy...), TA的Tom&Jerry Notes已经够好了......

如果你不是SE的同学, 那这个笔记的后半段的图灵机相关的东西都不是你们的考点啊嗯, 不过感兴趣可以看看, 我也不是很懂()