CSCI2520 · 2
本章骨架 · 列表与递归
按笔记顺序列出已记录到网上的定义与定理陈述，并连回有记录关系的确切证明步骤。
1 节公开笔记中，0 节已有陈述记录到网上。本页只列出这些陈述，并非本章全部定理；有记录的关系仍在逐条审核。
作为递归 ADT 的 list
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
CSCI2520 · 2
按笔记顺序列出已记录到网上的定义与定理陈述，并连回有记录关系的确切证明步骤。
1 节公开笔记中，0 节已有陈述记录到网上。本页只列出这些陈述，并非本章全部定理；有记录的关系仍在逐条审核。
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。