CSCI2520 · 1
本章骨架 · ADT 与操作语义
按笔记顺序列出已记录到网上的定义与定理陈述，并连回有记录关系的确切证明步骤。
2 节公开笔记中，0 节已有陈述记录到网上。本页只列出这些陈述，并非本章全部定理；有记录的关系仍在逐条审核。
ADT 操作：stack、queue 与 function pointer
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
Hash table 与 collision 策略
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。