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:
- propositional logic (Levin Chapter 0)
- predicate logic
- functions and relations
- combinatorics and counting (Levin Chapter 1)
- sequences (Levin Chapter 2)
- series
- polynomial fitting
- recurrence
- mathematical induction
- modular arithmetic (Levin 5.2)
- probability and Bayes' theorem
- graphs (Levin Chapter 4)
- planarity of graphs
- automata, finite-state machines: as graph
examples, maybe
- regular expressions: maybe as a graph example
- relations
and databases
- cryptography
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.