CS 135 Discrete Structures

The aim of this course is to integrate knowledge and applications of basic mathematics with program specification and design. Students will learn how to present logically sound arguments involving lists, sets, numbers, functions, and graphs, and apply these to prove properties of simple programs. Labs will focus on composing programs in a functional language. A major focus will be on inductive proofs and recursively defined programs

Credits

4

Distribution

Computer Science Program

Typically Offered Periods

Fall Semester Spring Semester