CSCI2520 · 2

本章骨架 · 串列與遞迴

按筆記順序列出已記錄到網上的定義與定理陳述，並連回有記錄關係的確切證明步驟。

1 節公開筆記中，0 節已有陳述記錄到網上。本頁只列出這些陳述，並非本章全部定理；有記錄的關係仍在逐條審閱。

2.1

作為遞歸 ADT 的 list

已記錄 0 條定理 · 0 個定義

本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。