電腦科學發展史：從算盤到生物計算的知識與技術演進
計算的本質不僅是工具的改良，更是人類試…
yuchang23
邱奇-圖靈論題：計算理論的哲學基石
1936年，邱奇和圖靈各自獨立地提出了計算的嚴格數學定義。邱奇-圖靈論題主張：任何在算法上可計算的問題，都可以由圖靈機來計算。這個論題雖然無法被證明，卻成為計算理論的基石，定義了計算機能力的極限。
1936年的天才構想：圖靈機如何定義「可計算」的邊界
艾倫·圖靈在1936年提出圖靈機這個「思想機器」，精確定義了「可計算」的概念，成為計算理論基石。本文用生活化比喻（機器人廚師、格子遊戲小精靈）解釋圖靈機的四個組件，探討其對現代電腦、馮·諾伊曼架構的影響，並提供不插電活動讓孩子動手體驗。
冰淇淋車大作戰！用「旅遊小鎮」挑戰電腦也算不出來的難題(Dominating Sets)
在炎熱的夏天，沒有什麼比一支冰淇淋更棒…
窮繪圖員的彩色煩惱——著色問題 (Graph Colouring)
在電腦科學中，「著色問題 (Graph Colouri…
海盜船長的藏寶圖：用「跳島遊戲」學會有限狀態自動機(Finite State Automata, FSA)
想像一下，你正參與一場刺激的海盜尋寶遊…
電腦是天才還是笨蛋？解開「指令」與「程式」的溝通秘密（Programming）
現在的孩子看著 iPad 能夠回答問題、播放…
誰卡住了我的橘子？用「傳水果遊戲」破解網路大塞車( Routing and Deadlock in Networks )
你有沒有遇過玩遊戲玩到一半，畫面突然卡…
從「泥濘城市」認識最省錢的鋪路魔法-最小生成樹（Minimal Spanning Tree）
在電腦科學中，有一個很經典的問題叫做「…
比閃電還快！在排序網路（ Sorting networks ）上賽跑，秒懂超級電腦的平行運算
我們都知道電腦很快，但你知道電腦變快的…