Model systems

Learning Goal: Selecting and representing appropriate data types and using notation conventions to clearly communicate choices

PDF LaTeX Raw HTML

Learning Goal: Connecting logical circuits and compound proposition and tracing to calcluate output values

PDF LaTeX Raw HTML

Learning Goal: Determining the properties of positional number representations, including overflow and bit operations

PDF LaTeX Raw HTML

Learning Goal: Modeling data structures, such as linked lists or trees, as recursively defined data structures

PDF LaTeX Raw HTML

Learning Goal: Modeling data with partitions and functions

PDF LaTeX Raw HTML