📐 計算機科學中的數學
互動學習指南(融合版)· 22 章 · 基於 Lehman, Leighton, Meyer (MIT 2017)
讀完 0 / 22 章
Part I
Proofs 數學證明
邏輯推理的語言基礎 · Ch.1–8
✓
第一章
什麼是證明?
隨堂測驗
折疊範例
入門
▶ 第2集
✓
第二章
良序原理
拖曳排序步驟
基礎
▶ 第3集
✓
第三章
邏輯公式
真值表切換
SAT 演示
基礎
▶ 第4集
✓
第四章
數學資料型態
函數映射圖
矩陣互動
基礎
▶ 第5集
✓
第五章
歸納法
骨牌動畫模擬
核心
▶ 第6集
✓
第六章
狀態機
機器人走格子遊戲
核心
▶ 第7集
✓
第七章
遞迴資料型態
括號建構器
語法樹
進階
▶ 第8集
✓
第八章
無限集合
希爾伯特飯店動畫
進階
▶ 第9集
Part II
Structures 數學結構
數論、圖論、密碼學 · Ch.9–13
✓
第九章
數論
GCD 步驟
模運算時鐘
RSA 加解密
核心
▶ 第1集
✓
第十章
有向圖與偏序
可達性矩陣
課程排程
核心
▶ 第10集
✓
第十一章
通訊網路
封包路由動畫
進階
▶ 第11集
✓
第十二章
簡單圖
自由建圖
著色挑戰
核心
▶ 第12集
✓
第十三章
平面圖
Euler 公式驗證
柯尼斯堡謎題
進階
▶ 第13集
Part III
Counting 計數組合
組合數學與漸近分析 · Ch.14–16
✓
第十四章
求和與漸近
動態直方圖
複雜度排序
核心
▶ 第14集
✓
第十五章
基數規則
衣物搭配
Pascal 三角形
鴿巢原理
核心
▶ 第15集
✓
第十六章
生成函數
函數詞典
Fibonacci 推導
進階
⚠ 數學式需連網顯示
▶ 第16集
Part IV
Probability 機率論
機率、期望值、偏差分析 · Ch.17–20
✓
第十七章
事件與機率空間
Monty Hall 遊戲
生日問題
核心
▶ 第17集
✓
第十八章
條件機率
醫療診斷模擬
貝葉斯視覺化
核心
▶ 第18集
✓
第十九章
隨機變數
硬幣投擲模擬
期望值計算
核心
▶ 第19集
✓
第二十章
偏差與均值
Markov 不等式
Chebyshev 圖示
進階
▶ 第20集
Part V
Probability II & Recurrences
隨機漫步與遞迴關係 · Ch.21–22
✓
第二十一章
隨機漫步
賭徒模擬器
圖上漫步
平穩分布
進階
▶ 第21集
✓
第二十二章
遞迴關係
河內塔模擬
遞迴樹視覺化
主定理計算機
核心
▶ 第22集
⚠️
離線使用注意:
第十六章(生成函數)依賴 KaTeX 數學渲染函式庫,需要網路連線;離線時數學式將顯示為純文字,其餘功能正常。所有其他章節均可完全離線使用。
📝 全書綜合測驗
涵蓋第 1–22 章,共 22 題,含即時回饋與分類得分統計
開始測驗 →