跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

學習路徑

先看目標與步數，選定路徑後再逐步閱讀。路徑是教學順序，不是形式證明。

學習路徑 · 6 步

幾何基礎到畢達哥拉斯定理

由點、線、面的基礎語言，經三角形、角、長度與直角三角形進入畢達哥拉斯定理。

path-geometry-foundations

學習路徑 · 4 步

形式化數學入門樣本

從集合與函數語義進入 Lean／Mathlib 的精確聲明與證據物件。

path-formalized-mathematics-entry

學習路徑 · 4 步

證明與證據素養

先辨識證明義務，再區分人工證明、有限計算證據與精確形式證明。

path-proof-and-evidence-literacy

學習路徑 · 5 步

數學基礎語言候選路徑

從計數的具體語言前進到集合、命題與邏輯連接詞，建立閱讀後續數學物件所需的基礎語言。

path-foundational-language-candidate

學習路徑 · 11 步

第一波領域覆蓋基礎

由自然數、集合與命題分支進入算術、方程、機率、歸納、階乘與基本組合計數。

path-domain-coverage-wave-one

學習路徑 · 4 步

集合語言到拓撲前置候選路徑

從集合、元素隸屬、子集合與基本集合運算建立閱讀拓撲空間定義所需的集合語言。

path-set-language-to-topology-candidate

學習路徑 · 5 步

樣本空間到事件候選路徑

由集合語言與樣本空間建立事件作為結果子集合的精確邊界。

path-probability-events-candidate