Integer representations and properties, propositions, predicates, sets, functions, program proofs, induction, counting, complexity; Python implementations of these concepts.
Sophomore standing.
Prerequisite
CS 150A with a B or better or CS 150B with a B or better or CS 152 with a B or better or CS 162 with a C or better or CS 163 with a C or better or CS 164 with a C or better; MATH 155 or MATH 156 or MATH 159 or MATH 160.
Textbooks and Materials
Please check the CSU Bookstore for textbook information. Textbook listings are available at the CSU Bookstore about 3 weeks prior to the start of the term.
Instructors
