Running schedule
- 01/15, Wed: syllubas, paradoxes, proof notions, sec 1.1.
- 01/20, Mon: holliday, no class.
- 01/22, Wed: sec 1.1, 1.2: statements, quantifiers, negation.
- 01/27, Mon: sec 1.2, 1.3: equivalent statements, implication.
- 01/29, Wed: sec 1.3, 5.3, 5.4: proof and disprove, divisibility, primes.
- 02/03, Mon: sec 1.4, 5.3: more complicated proof, converse, necessary/sufficient conditions.
- 02/05, Wed: sec 1.4, 5.4: contrapositive, proof by contradiction.
- 02/10, Mon: sec 1.4, 5.4: more proof by contradiction
- 02/12, Wed: sec 2.1: sets basic, subsets.
- 02/17, Mon: sec 2.2: operation on sets, complements, union, intersection.
- 02/19, Wed: sec 2.3: Cartesian product, power sets.
- 02/24, Mon: midterm 1.
- 02/26, Wed: sec 3.1: functions, domain, image, pre-image etc.
- 03/02, Mon: sec 3.2: surjection and injection.
- 03/04, Wed: sec 3.3: composition.
- Spring break.
- Extended spring break.
|