CSC 226  Discrete Mathematics for Computer Scientists
Catalog Description:Emphasis on counting (combinatorics), formal proofs, and applications of discrete mathematics. Topics will include (but are not limited to): permutations, combinations, probability, propositional logic, predicate calculus, proof approaches, induction, modular arithmetic, recurrence relations, asymptotic growth of functions, and introduction to graph theory. This course assumes knowledge of topics covered in highschool Algebra I and II.
Contact Hours:
 Lecture: 3 hours
Corequisites: None
Restrictions: None
Coordinator: Dr. Jessica Schmidt
Textbook: CSC 226: Discrete Math ZyBook
Course Outcomes:
At the conclusion of this course, students should be able to

Describe permutations and combinations, and explain the differences between them.

Identify and apply the appropriate counting approach for solving a given problem.

Apply common arithmetic and logic proof techniques to prove that a given argument is valid.

Apply modular arithmetic to prove properties of subsets of the integers.

Use the principle of strong mathematical induction to prove properties over the natural numbers.

Determine and prove the correctness of asymptotic function growth using standard notations.

Identify properties (e.g., trails, circuits, paths, or cycles) of a given graph.

Apply common algorithms (e.g., graph search algorithms, minimum spanning tree algorithms) to a given graph.
Topics:
 Sets
 Combinatorics
 Logic
 Logic Proofs
 Predicate Calculus
 Arithmetic Proofs
 Induction
 Recursion
 BigOh
 Binary Relations
 Graph Theory
See Course Listings