academics » cis1910
Course Description: 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.
CIS*1910 - Discrete Structures in Computing I
Instructor: P. MatsakisCourse Description: 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.