CS 2240 - Discrete Structures for Computer Science

Credits: 4

Prerequisite(s): ((((MTH 1110 or equivalent) AND MTH 1120) OR MTH 1400) AND CS 2050) all with grades of “C-” or better) OR permission of instructor

Description: This course provides a solid theoretical foundation for the understanding of computer science, with emphasis on the application of formal structures and reasoning to problems in computer science. The course introduces and demonstrates application of discrete mathematics concepts commonly used in computer science and needed to solve many computational problems. Topics include formal logic systems, Boolean algebra, techniques for formal reasoning (including proof methods), set theory, graph theory, functions, relations, sequences, and recursive structures.