Theory of Computation
图灵 哥德尔 冯.诺伊曼 史蒂芬·库克 姚期智 莱斯利·瓦利安特
图灵 哥德尔 冯.诺伊曼 史蒂芬·库克 姚期智 莱斯利·瓦利安特
http://theory.stanford.edu/main/index.shtml
http://infolab.stanford.edu/~ullman/ialc.html
http://www.cllc.vuw.ac.nz/
http://phil.elte.hu/logic/overview.html/
https://www.illc.uva.nl/
http://linguistics.mit.edu/
http://theoryofcomputing.org/
http://cs.au.dk/education/phd/
http://infolab.stanford.edu/~ullman/pub/ialctoc.txt
https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2006/
https://cs.brown.edu/courses/info/csci1010/
http://www.columbia.edu/~ncd2118/CS/HMU.pdf/
https://cs.stanford.edu/people/eroberts/courses/soco/projects/2004-05/automata-theory/basics.html/
https://people.eecs.berkeley.edu/~bh/v3ch1/fsm.html/
http://infolab.stanford.edu/~ullman/dragon.html/
http://web.stanford.edu/class/archive/cs/cs143/cs143.1112/
https://www2.cs.arizona.edu/~collberg/Teaching/553/2011/schedule.html/
https://www.win.tue.nl/~gwoegi/P-versus-NP.htm/