The slides will be posted as we go.

  1. BulletSeptember 13  Introduction 01-Intro.pdf

  2. BulletSeptember 15  Propositional Logic and Propositional Equivalence (Sec 1.1 & 1.2 (skim)) 02-PropositionalLogic.pdf

  3. BulletSeptember 17 Predicates and Quantifiers (Sec 1.3) 03-PredicatesNQuantifiers.pdf

  4. BulletSeptember 20 Nested Quantifiers (Sec 1.4) 04-NestedQuantifier.pdf

  5. BulletSeptember 22 Nested Quantifiers cont.

  6. BulletSeptember 24 Introduction to Proofs (Sec 1.5(skim) & 1.6) 05-Proofs.pdf

  7. BulletSeptember 27 Proof Methods and Strategies (Sec 1.7) 06-ProofMethodsAndStrategy.pdf

  8. BulletSeptember 29 Proof Methods and Strategies cont.

  9. BulletOctober 1 Sets (Sec 2.1) 07-Sets.pdf

  10. BulletOctober 4 Set Operations (Sec 2.2) 08-SetOperations.pdf

  11. BulletOctober 6 Functions (Sec 2.3) 09-Functions.pdf

  12. BulletOctober 18 Functions cont.

  13. BulletOctober 20 Functions cont.

  14. BulletOctober 22 Sequences and Summations (Sec 2.4) 10-SequencesNSummations-1.pdf

  15. BulletOctober 25 Sequences and Summations cont.10-SequencesNSummations-2.pdf

  16. BulletOctober 27 Growth of Functions (Sec 3.2) 11-GrowthOfFunctions-1.pdf

  17. BulletOctober 29 Growth of Functions cont. 11-GrowthOfFunctions-2.pdf

  18. BulletNovember 1 Mathematical Induction (Sec 4.1) 12-MathematicalInduction-1.pdf

  19. BulletNovember 1 Mathematical Induction cont. 12-MathematicalInduction-2.pdf

  20. BulletNovember 8 Strong Induction (Sec 4.2(skim)) 13-StrongInduction.pdf Recursive Definitions (Sec 4.3)

  21. BulletNovember 10 Recursive Definitions cont. 14-RecursiveDefinitions.pdf

  22. BulletNovember 12 Basics of Counting (Sec 5.1) 15-BasicsOfCounting.pdf

  23. BulletNovember 15 Permutations and Combinations (Sec 5.3) 16-PermutationsNCombinations.pdf

  24. BulletNovember 17 Binomial Coefficients (Sec 5.4) 17-BinomialCoefficient.pdf

  25. BulletNovember 19 Recurrence Relation (Sec 7.1) 18-RecurrenceRelations.pdf

  26. BulletNovember 22 Solving Linear Recurrence Relations (Sec 7.2)

  27. BulletNovember 24 Solving Linear Recurrence Relations cont. 19-SolvingLinearRecurrenceRelations.pdf

  28. BulletNovember 26 Relations and Their Properties (Sec 8.1) 20-RelationsNProperties.pdf

  29. BulletNovember 29 Closures of Relations (Sec 8.4) 21-ClosuresRelations.pdf

  30. BulletDecember 6  Equivalence Relations (Sec 8.5) 22-EquivalenceRelations.pdf


Recommended Exercises

  1. Bullet1.1: 1,3,5,9,19,23,27,44,49,55-59

  2. Bullet1.2: 1,3,4,5,7

  3. Bullet1.3: 13,21,23,25,33,39

  4. Bullet1.4: 1,3,9,12,21,25,27,39

  5. Bullet1.5: 3,15,19,23

  6. Bullet1.6: 1,11,17,33

  7. Bullet1.7: 5,21,37,41

  8. Bullet2.1: 1,5,7,13,19,25,35

  9. Bullet2.2: 3,5,19,25

  10. Bullet2.3: 3,5,15,23,45

  11. Bullet2.4: 5,13,19,31,35

  12. Bullet3.2: 1,19,23

  13. Bullet4.1: 3,7,21,31,43

  14. Bullet4.3: 9,13,23,45,57,59,61,62

  15. Bullet5.1: 3,9,19,27,33,39,43,59

  16. Bullet5.3: 3,5,7,9,12,14,17,19,21,23,28,33,43

  17. Bullet7.1: 1,9,11,13,15,19

  18. Bullet7.2: TBA

  19. Bullet8.1: TBA

  20. Bullet8.3: TBA

  21. Bullet8.4: TBA

  22. Bullet8.5: TBA


Other References

  1. BulletNorman L. Biggs. Discrete Mathematics. Oxford University Press, 2002.

  2. BulletAlan Doerr and Kenneth Lavasseur. Applied Discrete Structures for Computer Science. Science Research Associates, 1985.

  3. BulletGary Haggard, John Schlipf and Sue Whitesides. Discrete Mathematics for Computer Science. Thomson, 2006.

  4. BulletRod Haggarty. Discrete Mathematics for computing. Addison-Wesley, 2002.

  5. BulletBernard Kolman, Robert C. Busby and Sharon Cutler Ross. Discrete Mathematical Structures. Pearson, 2004.

  6. BulletEdward Scheinerman. Mathematics: A Discrete Introduction. Thomson, 2006.

  7. BulletDaniel Solow. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes. Wiley, 2002.

  8. BulletAndrew Wohlgemuth. Introduction to Proof in Abstract Mathematics. Saunders College Publishing, 1990.