Learning Outcomes
=================

Broadly, the learning goals address fundamental *computational thinking*
techniques associated with **logical reasoning** and **numeracy**
(i.e. reasoning with numbers). Students will learn:

- to construct logical statements from natural language descriptions

- to develop and write proofs for mathematical statements and for the
  correctness of computational procedures.

- to reason about combinatorial structures and probability basics using
  techniques for counting.

- to understand basic concepts and properties associated with discrete
  combinatorial structures like graphs and trees.