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.