Discrete Structures

Comp 163-003 / 400E-003, Spring 2022

MW, 4:15-5:30, Mondays normally in Cuneo 117, Wednesdays will all be online. Our first Monday class, January 24, will also be online due to Covid concerns.

There will be a midterm and a final exam. The midterm will be shortly after our spring break. The final is Monday, May 2; the scheduled time is 4:15 pm.

Study guides for each exam will be available on Sakai.

There will be regular homework assignments. The homework will be worth about 20-30% of your grade, with the midterm and final making up 70-80%. The final will be worth a little more than the midterm. 

Textbooks: we will be using the following open textbooks, with the primary emphasis on the first (Levin):

Comp 163 is about the mathematical foundations of computer science:



Weekly Notes


Week 1: Jan 19 only
Week 2: Jan 24,26
Week 3: Jan 31,2 Week 4: Feb 7,9
Week 5: Feb 14,16 Week 6: Feb 21,23
Week 7: Feb 28,2 spring break Mar 7-11
Week 8: Mar 14,16 Week 9: Mar 21,23
Week 10: Mar 28,30 Week 11: Apr 4,6
Week 12: Apr 11,13 Week 13: Apr 18,20
Week 14: Apr 25,26 Final exam: May 2


My general course groundrules are here.