Schedule

This is a tentative schedule for CS/COE 441 for Spring 2008.  This is to give you an idea on the coverage and the pace of the course.  Entries with yellow background (on the web version) contain tentative information and are subject to change.  Check back regularly for reading assignments, homework assignments, and lecture notes.  Other important updates that do not fit here are on the "Updates" page.

Class

Date

Reading
assignments

Topics

 Homework

1

 M 1/7 --- Introduction ---
2 W 1/9 1.1 propositional logic ---
3 M 1/14 1.2 propositional equivalence hw01.htm
4 W 1/16 1.3 predicates and quantifiers ---
- M 1/21 --- --- Martin Luther King day, no class --- ---
5 W 1/23 1.4 nested quantifiers hw02.htm
6 M 1/28 1.4
1.6		 more on quantifiers
proofs		 ---
7 W 1/30 1.6
(1.7)		 direct proof, indirect proof
(proof by contradiction)
(proof by cases)		 ---
8 M 2/4 1.6
2.1, 2.2		 more on proofs
sets and set operations		 hw03.htm
9 W 2/6 2.2 set operations, proving set identities ---
10 M 2/11 2.2
2.3		 set operations
functions		 hw04.htm
11 W 2/13 2.3 1-1 functions, onto functions, bijections, adding functions, composing functions. ---
12 M 2/18 2.4 summation hw05.htm
13 W 2/20 4.1
(4.2)
4.3		 induction
(strong induction and well-ordering)
recursive definitions, structural induction		 ---
14 M 2/25 --- review for exam 1 practice.htm
15 W 2/27 --- --- Exam 1 --- ---
16 M 3/3 5.1 counting basics hw06.htm
17 W 3/5 5.1
(5.2)		 counting basics, inclusion-exclusion
(the Pigeonhole principle)		 ---
- M 3/10 --- --- Spring Recess, no class --- ---
- W 3/12 --- --- Spring Recess, no class --- ---
18 M 3/17 5.3 permutations hw07.htm
19 W 3/19 5.3 combinations ---
20 M 3/24 5.5 counting with repetition hw08.htm
21 W 3/26   more on counting ---
22 M 3/31 6.1 discrete probability hw09.htm
23 W 4/2 6.2 probability theory ---
24 M 4/7 6.2 sub-experiments, Bernoulli trials, random variables hw10.htm
25 W 4/9   class canceled ---
26 M 4/14 6.4 probability distribution of random variable, expected value,
linearity of expectation, indicator random variables,
(geometric distribution, more on expected value, variance)		 (hw11)

practice2.htm
27 W 4/16 --- review ---
final   --- Final Exam. Monday April 21st, 2008, 6:00-7:15pm, in room SENSQ 5219 (same time, same place)  

Class

Date

Reading

Topics/Info

 Homework