NOTE: This schedule is subject to change.
Date  Day  Subject  Reference  Due Dates 
1/10/17  Tues  Algorithms: pseudocode and tracing  Rosen 3.1 + Appendix 3
Slides 
Recommended practice problems: Rosen 3.1 # 53, 55, 57 
1/11/17  Wed  Discussion Section  
1/12/17  Thur  Number systems: representations and algorithms  Rosen 4.2 (+ 4.1)
Slides 
Recommended practice problems: Rosen 4.1 # 9, 21, 23 and Rosen 4.2 # 1, 3, 5, 7, 9, 21 
1/15  Sun  HW 1 due Sunday at noon PDF tex style file 

1/17/17  Tues  Number systems: conversions and logical operations  Rosen 4.2 + 1.1
Slides 
Recommended practice problems: Rosen 4.2 # 11, 13, 15, 17, 19, 23 
1/18/17  Wed  Discussion Section  
1/19/17  Thur  Propositional Logic: the connectives  Rosen 1.1 + 12.3
Slides 
Recommended practice problems: Rosen 1.1 #7, 27, 29, 31, 41; 1.2 # 9; 12.3 #1,3,5 
1/22/17  Sun  HW 2 due Sunday at noon PDF tex style file 

1/24/17  Tues  Propositional logic: equivalences  Rosen 1.2,1.3,12.1,12.2
Slides 
Recommended practice problems: Rosen 1.2 # 17, 25, 27, 29, 31, 41, 43; 1.3 #16, 1630 
1/25/17  Wed  Discussion Section.  
1/26/17  Thur  Review 
Slides 

1/29/17  Sun  HW 3 due Sunday at noon PDF tex style file 

1/31/17  Tues  First exam  Exam today.  
2/1/17  Wed  Discussion Section  
2/2/17  Thur  Predicates and quantifiers  Rosen 1.4,1.5
Slides 
Recommended practice problems: Rosen 1.4 # 13, 17, 19, 29, 31, 37, 39; 1.5 #9, 13, 25, 31 
2/7/17  Tues  Proof strategies  Rosen 1.6,1.7,1.8
Slides 
Recommended practice problems: Rosen 1.6 # 15, 17; 1.7 #1, 5, 15, 35; 1.8 #3, 13, 14, 15 
2/8/17  Wed  Discussion Section  
2/9/17  Thur  Sets  Rosen 2.1,2.2 JS 2.1 Slides 
Recommended practice problems: Rosen 2.1 # 7, 11 
2/12/17  Sun  HW 4 due Sunday at noon PDF tex style file Note: files slightly modified 2/10 to fix example in question 4 part c. 

2/14/17  Tues  Sets  Rosen 2.1,2.2
Slides 
Recommended practice problems: Rosen 2.1 # 25, 27, 31; 2.2 #29, 31, 45, 47 
2/15/17  Wed  Discussion Section  
2/16/17  Thur  Induction, inequalities and constructions  Rosen 5.1 Slides 
Recommended practice problems: Rosen 5.1 # 3, 5, 7, 11, 19, 21, 51, 55; 2.1 # 23, 31; 2.2 # 3, 31, 45 
2/19/17  Sun  HW 5 due Sunday at noon PDF tex style file 

2/21/17  Tues  Recursive definitions and structural induction  Rosen 5.3
Slides 
Recommended practice problems: Rosen 5.3 # 23, 25, 27, 33, 37, 39; 2.2 # 47, 49 
2/22/17  Wed  Discussion Section  
2/23/17  Thur  Structural and strong induction  Rosen 2.3
Slides 
Recommended practice problems: Rosen 5.2 # 7, 11, 25, 29; 5.3 # 1, 3, 13 
2/26/17  Sun  HW 6 due Sunday at noon PDF tex style file 

2/28/17  Tues  Second exam  Exam today.  
3/1/17  Wed  Discussion Section  
3/2/17  Thur  Functions and cardinality of sets  Rosen 2.3, 2.5
Slides 
Recommended practice problems: Rosen 2.3 # 21, 2.5 # 1, 3, 11, 17, 19, 33 
3/7/17  Tues  Cardinality of sets and relations  Rosen 2.5, 9.1
Slides 
Recommended practice problems: (see previous week) 
3/8/17  Wed  Discussion Section  
3/9/17  Thur  Relations: properties of binary relations, equivalence relations  Rosen 9.1, 9.5
Slides 
Recommended practice problems: 9.1 # 49, 9.5 # 1, 11, 13, 27, 29, 43 
3/12/17  Sun  HW 7 due Sunday at noon PDF tex style file 

3/14/16  Tues  Modular arithmetic  Rosen 4.1, 9.5
Slides 

3/15/17  Wed  Discussion Section  
3/16/17  Thur  Review day 
Slides 
HW 8 due Thursday at 11pm. PDF tex style file 
3/18/17  Saturday  Final exam  Final exam today 8:00am10:59am in location on Triton Link (see Piazza for details). 
Name  Role  
Prof. Mia Minnes  Instructor  
Srinivas Avireddy  Teaching Assistant  
Priyanka Dighe  Teaching Assistant  
Justin Lazarow  Teaching Assistant  
Shaida Masoumi  Teaching Assistant  
Michael Walter  Teaching Assistant  
Kevin Yin  Teaching Assistant  
Janice Huang  Tutor  
Rachel Keirouz  Tutor  
Julia Len  Tutor  
Ken Lin  Tutor  
RT Lin  Tutor  
David Luu  Tutor  
Yalin Shi  Tutor  
Clara Woods  Tutor  
JoJo Zhou  Tutor 
Announcements and Q&A are through Piazza (sign up link: piazza.com/ucsd/winter2017/cse20): use public posts to ask questions that might interest other students in the class and private posts (visible to the instructional team) for questions specific to you. Our office hours and locations can be found in the calendar above.
Welcome to CSE20! If you ever wondered "What sort of mathematics do I need for computer science?", this course will provide some of the answers. In particular, you will have the opportunity to learn basic concepts about algorithms, computer arithmetic, number systems, Boolean algebras, logic, proofs, program correctness, loop invariants, modular arithmetic, linear and partial orders, recurrences, and induction, among other things. These are some of the essential ingredients in the toolkit of every computer scientist.
Please click here for a course description as given in the undergraduate course listing.
Course grades will be computed using the following weights.
Grading  
Exams  65% 
Homework  30% 
Participation  5% 
You must have a passing score on the final exam (50%) in order to pass the course.
Homework should be done in groups of one to three people. Group members may be in any of the sections of CSE 20. You are free to change group members at any time throughout the quarter. Problems should be solved together, not divided up between partners.
Homework solutions should be neatly written or typed and turned in through Gradescope by 11:59am right before noon!! (you won't need to pull late nights!) on the due date. No late homeworks will be accepted for any reason. You will be able to look at your scanned work before submitting it. Please ensure that your submission is legible (neatly written and not too faint) or your homework may not be graded. Submit only one submission per group. One representative group member can upload the submission through their gradescope account and then add the other group member(s) to the Gradescope submission: make sure to select their names when you "Add Group Members" to the submission; it's not enough to just list their names on the page. For stepbystep instructions on scanning and uploading your homework, see this handout.
For homework help, consult your textbook, class notes and podcast, lecture slides, instructors, TAs, and tutors. It is considered a violation of the policy on academic integrity to:
When you enrolled in the class, you signed up for a specific discussion section. If you would like to switch section during the quarter, please post a private note on Piazza with your name, PID, current Discussion Section, and requested new section. Also let us know if you'd like this to be a permanent switch for the rest of the quarter. Please wait for confirmation from us before attending your new section, since we will need to make sure that there is enough space.
After your weighted average is calculated, letter grades will be assigned
based on the following curved grading scale:
A+, A, A  B+, B, B  C+, C, C  D, F 
10090  89.980  79.965  Below 65 
The required textbook for this course is
This book is on reserve in the library and is also available in hardcopy at the UCSD Bookstore or many online retailers. You are also able to purchase an online copy of the book through McGraw Hill Connect. There are not many differences between the 7th edition and other recent editions, so you may be able to save some money by purchasing an older edition of the textbook. All posted reading assignments will refer to the chapter and section numbers of the 7th edition, but we have put together this guide so that you can easily find the corresponding sections in the 5th and 6th editions. Please be aware that while this textbook does not vary too much from edition to edition, the content of the older books might not be exactly the same as the 7th edition.
The textbook's companion website has extra practice problems and resources. In particular, the Self Assessments and the Extra Examples for each chapter are great practice materials. Access the companion website here.
You may also wish to look at the following textbook as a supplementary resource.
The full pdf of this book is available for free download from a UCSD internet connection at:
In addition to this course website, we will be using these external websites for various purposes throughout the quarter: