CS-225: Discrete Structure in CS

Course Learning Objectives

At the completion of the course, students will be able to...

  • Construct and interpret propositions expressed using logic expressions.

  • Define properties of and operations on sets, functions and sequences.

  • Determine the correctness of and construct non-inductive proofs.

  • Determine the correctness of and construct inductive proofs.

  • Construct recursive definitions and proofs involving them.

  • Apply basic counting arguments on combinatorial objects.

  • Define and prove properties of graphs and trees.