CSCI2520 · 1
Chapter outline · ADT and operation semantics
Definitions and theorem statements recorded in the web, in note order, with the exact proof steps behind their recorded connections.
0 of 2 public sections have indexed statements. This outline covers only those statements, not every theorem in the chapter. Recorded connections are still being reviewed.
ADT operations: stack, queue, and function pointers
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.
Hash tables and collision strategies
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.