CSC 141 Discrete Structures (3 credits)
Mathematics needed for Computer Science. Topics covered include: functions, relations, propositional and first order predicate logic, set theory, proofs and their construction, counting and elementary probability. The course will use a declarative language as a tool to support concrete implementations of the mathematical ideas.
Prerequisite: CSC 120 or permission of the Computer Science Department chair.