Skip to content
所有分類

learning

345 篇文章

從 MDP 到 Reinforcement Learning 更新規則|CMU 10-301 作業 8

HW8 把 state、action、reward、transition 與 value update 接起來,驗收你能否區分環境動態、policy 與估計誤差。

用 Ensembles、k-Means、PCA 與推薦系統收束全課|CMU 10-301 作業 9

最後一份 written 作業把 ensemble、clustering、representation 與 recommendation 並列,驗收你能否按問題結構選學習典範。

用九份作業學完整機器學習|CMU 10-301 課程總覽

Spring 2026 的 10-301/601 公開 27 講教材與九份作業包;校外讀者能完成主要實作,但拿不到 Panopto、Piazza、Gradescope 與正式作業解答。

learningdeep-dive

CMU AI 核心改制:15-281+10-315 到 07-280+07-380,不只是換課號

CMU 在 2026 年把原本分開的廣義 AI 與 SCS 機器學習入口,重新整合成 07-280 → 07-380;這是內容與先修路線的重切,不是兩門課逐一改名。

Bitwise operators、型別轉換與 bitmask|Stanford CS107 第 4 堂

第四講先釐清 signed/unsigned 轉型不改 bits、混合比較可能改變數值意義,以及 sign extension、zero extension、truncation;再推導 AND、OR、NOT、XOR 與 bitmask 的讀取、設定、清除和集合操作。

整數、位元組與 two's complement|Stanford CS107 第 3 堂

第三講從 32/64-bit 位址空間出發,推導 unsigned 與 two's-complement signed integer 的範圍、反相加一與共用加法硬體,再分清 unsigned modulo 運算和 C signed overflow,最後用四組故障案例檢查模型。

Bit shifts、bit tricks 與 GDB|Stanford CS107 第 5 堂

第五講把 bitmask 推進到 left/right shift、power-of-two 與 popcount tricks,並用 absolute-value 範例揭示 signed intermediate 在 INT_MIN 會 overflow;後半建立 GDB 的 breakpoint、執行控制、格式化 print、memory examine 與 backtrace 工作流。

第一支 C 程式,以及 binary 與 hexadecimal|Stanford CS107 第 2 堂

第二講把 C 放回 Unix 的歷史與開發環境:拆解 header、main、printf、argc/argv,走過 ssh、emacs、make 與執行檔,再用位值系統推導 8 bits = 1 byte、byte 的 256 種 pattern,以及 binary/hexadecimal 的雙向換算。

從課程地圖走進 Unix 命令列|Stanford CS107 第 1 堂

Winter 2026 第一講先回答 CS107 為何要往抽象層底下挖:從位元組、記憶體、組合語言到 heap allocator,再交代作業 40%、lab 10%、期中 20%、期末 30% 的課程制度,最後用 Unix 命令列替後續 C 開發暖身。

從 AI 入門到機器學習:CS50 AI、CS181 與 CS182 的學習路線|世界名校 AI/CS 課程地圖

Harvard 校外最完整的入口是 CS50 AI,但 Summer 2026 實際沿用 2020 錄影與作業資產,OCW 作業又已更新到不同版本;CS181 Spring 2026 公開當期作業與講義、沒有當期錄影,CS182 Fall 2026 則尚未完成開課。

learningdeep-dive

Pacman AI project 血統:Berkeley CS188 與 CMU 15-281 怎麼重組同一套教材

CMU 15-281 的 Search and Games 明確標示源自 Berkeley Pacman AI projects;官方課站另列一份零分 P0 tutorial,以及 P1–P5 五份 programming assignments。

從集合語言走到 Cantor 對角線|Stanford CS103 第 0 堂

從集合的元素、子集合與冪集開始,最後用 Cantor 對角線證明任何集合都不可能和自己的冪集一樣大。

從 even/odd 定義寫出第一個直接證明|Stanford CS103 第 1 堂

用偶數平方與兩奇數相加兩個例題,練習任取、假設、見證與 want-to-show 如何組成可逐行檢查的直接證明。

否定、逆否證明與反證法|Stanford CS103 第 2 堂

本講先精確刻畫蘊涵何時為假,再把量詞否定、逆否命題與反證法變成可檢查的證明工具。

命題邏輯、真值表與等價式|Stanford CS103 第 3 堂

命題邏輯把英文陳述抽象成真假變數,再用真值表檢查連接詞、翻譯方向與 De Morgan 等價式。

一階邏輯的物件、量詞與型別|Stanford CS103 第 4 堂

本講把命題邏輯擴充成能談論物件的一階邏輯:分清常數、predicate、function 與命題的型別,再用存在與全稱量詞表達 some 與 every。

一階邏輯 II——巢狀量詞、否定與唯一性|Stanford CS103 第 5 堂

把自然語言逐層翻成一階邏輯:辨認全稱與存在句型,再處理量詞順序、否定、限制量詞與唯一性。

函數 I,從定義到單射與滿射證明|Stanford CS103 第 6 堂

函數不只是一條公式:定義域、陪域、全域有定義與確定性缺一不可,而 involution、單射與滿射的量詞正好決定證明怎麼寫。

函數 II——滿射、假設與函數合成|Stanford CS103 第 7 堂

本講以滿射與鳥類證明釐清『假設』和『證明』的不同操作,再證明 involution 必為單射與滿射,並把同一套推理帶進函數合成。

用雙射定義基數與 Cantor 對角論證|Stanford CS103 第 8 堂

兩個集合等大,意思是它們之間存在雙射;Cantor 的對角集合則能對任意 S 到其冪集的函數造出一個漏接值。