CIS 1910 - Discrete Structures in Computing I W (3-2) [0.50]
An introduction to discrete structures and formal methodologies used in computer science, including Boolean, prepositional and predicate logic, finite set theory, functions, relations, and proof techniques.
