数理逻辑导论(H)

数理逻辑这门课是计算机系好像是图灵班需要的课程。

我是数学系的，来计算机系H班混混上课。这门课对于数学系的同学来说实话说难度简单了一些。比较有意思的证明大多出自Hilbet proof sys.和Natural Deduction，包括后面的霍尔逻辑也很有意思一点（虽然最后期末考试只考了ND proof sys.）。可以看出陶老师是用心上这门课的。

陶老师是计算机系的讲师，口音偏美音但是口语很正，听陶老师的课很舒服（陶老师本人也很有气质嗯嗯）。

如果要讲一些更感性的话的话，逻辑学本身就是一门很迷人的学科。当年的莱布尼兹期待建立一个可以完全解决争论的逻辑系统，两个人有争吵，只要翻译成逻辑语言，算一算哪一个对就完了。所以他说：“来，我们算吧！”

后来，人们发现，不对不对，各种逻辑推演系统都有各自的局限性，但是其中有几种又有自己擅长的领域，可以很好的解决一类问题。所以人类在这方面的探索不是徒劳的。

怀着对知识的敬畏，学习这些逻辑学知识本身就是很有快感的事情。

最后，如果你在大一下可以安排出2cre的空档，也愿意学习一些很有意思的东西，我很推荐这门数理逻辑导论（H不H都可以啦）！