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

Online Texts:

There will be a midterm and a final exam. The midterm is **Friday,
March XX**. The final is **Monday, April 29**, at
1:00 pm. Study guides for each will be available on Sakai.

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

Textbooks: we will be using the following open textbooks:

- James Aspnes, Notes on Discrete Mathematics
- Oscar Levin, Discrete Mathematics
- LovĂˇsz and Vesztergombi, Discrete Mathematics

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
- automata, finite-state machines and formal languages
- regular expressions
- graphs: planarity
- relations and databases

My general course groundrules are here.