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