CPS 2020J Discrete Structures I

This course offers an introduction to mathematical concepts and theories used in the study of computer science. It covers topics in propositional and predicate calculus, relations and functions, proof techniques, induction and recursion, and set theory. This course provides the mathematical foundation for reasoning and problem solving in computer science. (Previously NJCU Course CS-202)