最数学的计算机科学方向有哪些？ 知乎链接 说好的PLT呢！深深扎根在数理逻辑和抽象代数里面反过来造福人类这么多的一个方向难道就这么被人给遗忘了？算法密码学什么的太偏应用，已经没那么Theoretical了。计算复杂性感觉又有种跨学科的样子，所以跟数学结合的如此紧密还偏研究向的非PLT莫属啊。