Lecture Schedule (Subject to Change)


[ Home ]    [ Policies ]    [ Homework ]    [ Project ]   


Notice: Students are responsible for reading assigned materials prior to the lecture in which they will be discussed.


Lecture # Date Topics Readings Slides
1 1/07 (Thu) Administrivia and course introduction - -
2 1/12 (Tue) Propositional logic 1.1 [PDF]
3 1/14 (Thu) Logic puzzles, propositional equivalence 1.2 - 1.3 [PDF]
4 1/19 (Tue) Predicates and quantifiers 1.4 [PDF]
5 1/21 (Thu) Logic programming, nested quantifiers 1.4 - 1.5 [PDF]
6 1/26 (Tue) Rules of inference, Introduction to proofs 1.6 - 1.7 [PDF]
7 1/28 (Thu) Proof methods and strategies (Watch videos before class) 1.8 [Videos]
8 2/02 (Tue) Sets 2.1 - 2.2 [PDF]
9 2/04 (Thu) Set identities, Functions 2.2 - 2.3 [PDF]
10 2/09 (Tue) Functions, Sequences 2.3 - 2.4 [PDF]
11 2/11 (Thu) Integers, Modular arithmetic 4.1 [PDF]
12 2/16 (Tue) Primes, GCDs, Representations 4.2 - 4.3 [PDF]
- 2/18 (Thu) No class - -
13 2/23 (Tue) Mathematical induction (Watch video before class) 5.1 [Videos]
14 2/25 (Thu) Strong induction 5.2 [PDF]
15 3/01 (Tue) Midterm review - -
16 3/03 (Thu) Midterm - -
- 3/08 (Tue) No class (Spring break) - -
- 3/10 (Thu) No class (Spring break) - -
17 3/15 (Tue) Recursive definitions, structural induction 5.3 [PDF]
18 3/17 (Thu) Counting basics 6.1 [PDF]
19 3/22 (Tue) Counting basics, Pigeonhole principle 6.1 - 6.2 [PDF]
20 3/24 (Thu) Permutations, Combinations, Binomial coefficients 6.3 - 6.4 [PDF]
21 3/29 (Tue) Generalized permutations and combinations 6.5 [PDF]
22 3/31 (Thu) Discrete probability 7.1 - 7.2 [PDF]
23 4/05 (Tue) Probability theory 7.2 [PDF]
24 4/07 (Thu) Probability theory (cont.); Bayes' theorem 7.2, 7.3 [PDF]
25 4/12 (Tue) Bayes' theorem (cont.) 7.3 Same as 4/07
26 4/14 (Thu) Expected value and variance (Watch videos before class) 7.4 [Videos]
27 4/19 (Tue) Relations, representations 9.1, 9.3 [PDF]
28 4/21 (Thu) Course wrap-up and exam review - -