Instructor: Nina Amenta
Office Hours: M 1:10-2:00 and F 10-11 in 3015 Kemper.
Teaching Assistant: Ghassan Shobaki
gshobaki "at" ece "dot" ucdavis "dot" edu
Office Hours: Tues 10:00-12:00 in 53 Kemper
Reader: Betty Chen
chenyt "at" cs "dot" cdavis "dot" edu
General Information
This class has two goals. First, we want to familiarize you with some of the mathematics
you will need to use as a computer science major.
And second, we want you to get comfortable with the process of proving things, so that
you will be able to prove things about algorithms, programs and systems.
The textbook is Discrete Mathematics and its Applications,
by Kenneth Rosen, 5th Edition (2003), UC Davis edition (selected chapters).
Lectures are MWF 12:10-1:00 in 119 Wellman
Reading for past and future lectures.
Discussion sections are
F 3:10-4:00 and F 4:10-5:00 in 90 SocSci
ucd.class.ecs20 - Official newsgroup - Read but please do not post
ucd.class.ecs20.d - Discussion newsgroup - Read and post if you wish
Midterm score to grade mapping:
62-51 A, 41-50 B, 31-40 C, 21-30 D, below 20 F
Solutions to the midterm are on the solutions page I announced on myucdavis.