「P vs NP問題」的全貌與計算複雜度類別：千禧年大獎難題的解說與程式設計意義
分類
第 70 頁
電腦科學
Lambda演算（Lambda Calculus）與函數式編程的起源：從阿隆佐·邱奇的理論到Lisp、Haskell
自動機與形式語言理論：正規表示式的背後與喬姆斯基層級
圖靈機與可計算性理論：艾倫·圖靈的思想實驗與「停機問題」
康威生命遊戲：從簡單規則中湧現出類生命複雜性的元胞自動機
四色定理（Four Color Theorem） - 任何地圖都能用4種顏色塗滿嗎？
哥德爾不完備定理：「絕對無法證明的真理」的數學證明
停止性問題（Halting Problem）：絕對無法打造的最強程式
羅伯特·弗洛伊德的循環檢測法（龜兔賽跑演算法）
質因數分解的極限與時間複雜度Big O標記解說
