设雾 理论计算机科学 的美丽旅程 南京大学 计算机科学与技术系 尹一通 2017.1.20
理论计算机科学 的美丽旅程 南京大学 计算机科学与技术系 尹一通 2017.1.20
设雾 “计算机科学？是研究计算机的吗？” "Computer science is no more about computers than astronomy is about telescopes. ---Edsger Dijkstra
“计算机科学？是研究计算机的吗？” “Computer science is no more about computers than astronomy is about telescopes.” --- Edsger Dijkstra
设雾 Alan Turing (1912-1954) 什么是计算？ Vhat is computation?” 图灵
Alan Turing (1912-1954) 图灵 什么是计算？ “What is computation?
设 Turing Machine ou0I1010 010o10 图灵机 图灵
Turing Machine 图灵 图灵机
设 Turing Machine 1444 44 o011oI10 图灵机
图灵机 Turing Machine