Integer representations and properties, propositions, predicates, sets, functions, program proofs, induction, counting, complexity; Python implementations of these concepts.
Sophomore standing.
Prerequisite
CS 163 (CS1--No Prior Programming Experience); with a minimum grade of C or CS 164 (CS1--Prior Programming Experience); with a minimum grade of C; MATH 124 (Logarithmic and Exponential Functions); with a grade of B or better or CS 150 (Culture and Coding); with a grade of B or better or CS 152 (Introduction to Programming (CSO)--Python); with a grade of B or better; MATH 155 (Calculus for Biological Scientists I); with a grade of C or better or One Year Calculus IB; with a grade of C or better or
Instructors
