3Jeannette M. Wing. Computational Thinking[J]. Communications of ACM, 2006, 49(3): 33-35.
4耿国华.大学计算机基础[M].2版.北京:高等教育出版社,2013:5-6.
5张自力.关注MOOC浪潮:Suring the MOOC Wave[R].重庆:高校计算机课程教学系列报告会第九届论坛报告.2013.
6Jeannette M. Wing. Computational Thinking[J]. Communications of the ACM, 2006, 49(3): 33-35.
7R. Penrose. The Emperor's new mind, concerningcomputers, mind, and the law of physics[M]. Oxford, NewYork, Melbourne: Oxford University Press;中译本:徐明贤,吴忠超译.长沙:湖南科学技术出版社,1999:
8L.Babai, S. Moran. Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes[J]. Journal of computer and system scineces, 1988, 36, 254-276.
9R. Canetti. More on BPP and the polynomial-time hierarchy[J]. Information processing letters, 1996, 57, 237-241.
10S. Goldwasser, S. Micali, C. Rackoff. The knowledge complexity of interactive proof-system[J]. SIAM Journal on Computing, 1989, 18(1), 186-208.