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 **Friday, May 1**; the scheduled time is
9:00-11:00. The final will, like the midterm, be on Sakai, and I'll let
you pick any 2-hour time period between 9:00 am and 1:00 pm (start of the
next final).

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

(Answers coming soon)

Formulas/defininitions sheet that you will get on the exam

My general course groundrules are here.