電腦科學發展史:從算盤到生物計算的知識與技術演進

計算的本質不僅是工具的改良,更是人類試…


計算的本質不僅是工具的改良,更是人類試…

1936年,邱奇和圖靈各自獨立地提出了計算的嚴格數學定義。邱奇-圖靈論題主張:任何在算法上可計算的問題,都可以由圖靈機來計算。這個論題雖然無法被證明,卻成為計算理論的基石,定義了計算機能力的極限。

艾倫·圖靈在1936年提出圖靈機這個「思想機器」,精確定義了「可計算」的概念,成為計算理論基石。本文用生活化比喻(機器人廚師、格子遊戲小精靈)解釋圖靈機的四個組件,探討其對現代電腦、馮·諾伊曼架構的影響,並提供不插電活動讓孩子動手體驗。

不插電支配集教案:在旅遊小鎮擺冰淇淋車,讓孩子挑戰電腦也算不出來的 NP 完全問題。改寫自 CS Unplugged,附貪婪法陷阱與出題玩法,適合國小高年級與親子。

不插電著色問題教案:幫窮繪圖員用最少的顏色塗地圖,孩子從動手中遇見四色定理與圖論。改寫自 CS Unplugged,附臨床訪談式提問與課表排課延伸,適合國小資訊課。

不插電有限狀態自動機教案:海盜藏寶圖跳島遊戲,讓孩子畫出自己的狀態圖,認識狀態與轉移。改寫自 CS Unplugged Treasure Hunt,附地圖與引導,適合國小高年級。

電腦是天才還是笨蛋?「表達程序」單元導言:為什麼電腦需要精確的指令、什麼是程式與程式設計。串起藏寶圖自動機與指令遊戲兩個不插電活動,適合家長與老師導讀。

不插電網路死結教案:傳水果遊戲讓孩子親身卡進死結、再合作解開,理解網路塞車與路由。改寫自 CS Unplugged 橘子遊戲,附規則、變化與引導提問,適合國小團體。

不插電最小生成樹教案:泥濘城市鋪路遊戲,讓孩子自己長出貪婪演算法的直覺。改寫自 CS Unplugged Muddy City,附引導對話與路線規劃延伸,適合國小。

不插電排序網路教案:在地上畫網路讓孩子賽跑排序,體驗平行運算為什麼快。六人一組、粉筆就能玩,改寫自 CS Unplugged,附規則圖解與延伸挑戰,適合國小團體活動。