信息与计算科学导论¶
课程信息¶
这门课是和软院一起开的，可以说是离散改了个名，讲了集合论和递归。
只有作业，没有期中期末；作业也可以不写。
教材今年刚出版：《离散数学：思维与挑战》，清华大学出版社，ISBN 9787302714347
课程评价¶
今年（2025）有神奇的拓展小知识（图灵机，Lean4）
Zsir（仲老师）课上讲的比较直白简单， 但作业难度挺大的，但是可以写 Give up，不会扣分，算是一大特色了。作业有五个难度，前面三个难度 Beginner Experienced ChallengeSeeker 依次递增，Hacker 需要写代码，Poet 需要写一篇小论文。我认为作业非常有意思。 作业只要交了（写 Give up 也可以）就不会扣分，起始分数是 80 分，然后可以通过拿 Bonus 的方式来获得高分， 具体指作业的优秀奖和提名奖，讲题的优秀奖和提名奖和课上回答问题（这个是需要抢的），还有一些其他的特殊机会 （比如问卷）。一般拿到了提名奖就可以获得一本书的奖励。
Zsir 讲课还是很直白易懂的，但是由于一些神奇的原因这个授课是一句中文一句英文（讲嗨了会一直英文，时间不够了会一直中文），听感非常的神秘，间接让本来还比较易懂的课程内容变难了。
一般每节课后会发教材的英文电子版或中文打印版（因为要出版，所以没法发中文电子版）。其实上课就是对着书念，
有时候会念错，有时候会突然发现书上印错了，有点难绷。书写的挺一般的，不过买了方便抢 Bonus。