MWF, 12:35-1:25, in Mundelein 620

Online Texts:

There will be a midterm and a final exam. The midterm is **Friday,
March 13**. The final is **Monday, April 29**, at
1:00 pm. Study guides for each 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:

- Oscar Levin, Discrete Mathematics (author)
- James Aspnes, Notes on Discrete Mathematics
- LovĂˇsz and Vesztergombi, Discrete Mathematics
- Probability notes, by me

Comp 163 is about the mathematical foundations of computer science:

- propositional logic
- predicate logic
- functions and relations
- proofs
- mathematical induction and recursion
- modular arithmetic
- combinatorics and counting
- probability and Bayes' theorem
- logic circuits
- graphs
- planarity of graphs
- automata, finite-state machines: as graph
examples, maybe

- formal languages
- regular expressions: maybe as a graph example

- relations and databases
- cryptography

My general course groundrules are here.