Find a concept
BRANCH OVERVIEW
Computer science
Data, logic, and the correctness of programs.
← All branches · Each sheet includes definitions, theorems, applications, and exercises with hints and worked solutions.
Computer science
Data, logic, and the correctness of programs.
- Data structures & amortized costChoose a representation by the operations and guarantees the application needs.
- Boolean logic, circuits & satisfiabilityConnect logical specifications to finite computations on bits.
- Recursion, invariants & terminationA correct output and a guaranteed halt are separate obligations.