CIS137 Introduction to Discrete Structures

This course is a general introduction to discrete structures and finite systems. Topics will include number theory, logic, graph theory, proofs, knowledge representation, discrete probability, and combinatorics. The course provides foundational techniques and tools for problem solving in Computer Science.