Learning Outcomes

This page collects together all of the “outcomes” associated with individual modules. Outcomes identify what students will know and be able to do if they master the material.

Use boolean algebra to solve problems.

Referencing modules: Boolean Algebra

Represent and manipulate formal languages.

Referencing modules: Models of computation

Use linear algebra to solve problems.

Referencing modules: Linear algebra and matrices

Use relational mechanisms to solve problems.

Referencing modules: Relations

Represent and manipulate graph data structures.

Referencing modules: Graphs

Represent and manipulate tree data structures.

Referencing modules: Trees

Solve problems using recurrence relations.

Referencing modules: Advanced counting techniques

Perform elementary program verification.

Referencing modules: Verification