## Lecture Notes for CS2214b

### Slides

** Chapter 0 :**
introduction.
**Chapter 1 part 1:**
propositional logic (optional textbook exercises on pp.13-15: 11,13,15,21,22,23,25,27,28,29,37,42)
**Chapter 1 part 2:**
predicate logic (9/p.53, 12/p.53, 13/p.53, 23/p.53, 25/p.54, 62/p.57, 10/p.65, 13/p.66)
**Chapter 1 part 3:**
proof methods and strategies: direct/indirect proofs, proof by contradiction, iff, proof by cases, etc.
**
Chapter 2 parts 1,2:** sets and set operations, Venn diagrams
**Chapter 2 parts 3,4,6:** functions, sequences, matrices.
**Chapter 4 parts 1,2,3:** divisibility, modula arithmetic, congruency, integer representation, primes, gcd/lcm.
**Chapter 4 parts 4,5,6:** solving congruencies, applications, cryptography.
**Chapter 5:** Mathematical induction, strong induction, recursion and structural induction.
**Chapter 6:** Counting, permutations, combinations.

NOTE: lecture notes are subject to change/modification anytime before class. |