CSCI2520 · 1
本章骨架 · ADT 與操作語義
按筆記順序列出已記錄到網上的定義與定理陳述，並連回有記錄關係的確切證明步驟。
2 節公開筆記中，0 節已有陳述記錄到網上。本頁只列出這些陳述，並非本章全部定理；有記錄的關係仍在逐條審閱。
ADT 操作：stack、queue 與 function pointer
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。
Hash table 與 collision 策略
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。