Course Description
(From the course bulletin) The fundamental mathematical foundations required for computer science. Topics: propositional and predicate logic, proof techniques, induction, recursion, combinatorics, and functions.
Time and Place
Mondays, Wednesdays, and Fridays 1:15 - 2:05 P.M. in Gates B03
Logistics
- Textbook (required): Barwise, J. & Etchemendy, J., Language, Proof and Logic, Stanford: CSLI Publications, 2007
- Units: 3
- Grading: Graded or CR/NC option. A course average equivalent to a C- is required in order to receive credit when taking the course CR/NC.
- Corequisite: CS106A/X
- Handouts: Assignments and supplemental materials will be given as handouts distributed in class. Back-issues of handouts will be available in the handout folders in the lobby around the corner from Bob's office (Gates 178). They are also available electronically (via the class web site), so if you miss a handout in class, you can print your own copy.