Sections covered and to be covered in class


Covered

  • Section 1.1: Statements and compound statements;
  • Section 1.2: Negation of Statements;
  • Section 1.3: Making and using truth tables;
  • Section 1.4: Converse and contrapositive;
  • Section 1.5: Logical equivalence;
  • Section 1.6: Necessity and sufficiency;
  • Section 1.7: The laws of logic;
  • Section 1.8: Disjuctive normal form: using "only", "or", and "not";
  • Section 1.9: Logical implication;
  • Section 1.10: Arguments: rules of inference;
  • Section 2.1: Open statements;
  • Section 2.2: Quantifiers;
  • Section 2.3: Negating a quantified statement;
  • Section 2.4: The division algorithm;
  • Section 2.5: Some examples of written proofs;
  • Section 2.6: Divisibility;
  • Section 2.7: Prime numbers;
  • Section 3.1: Introduction to Principle of Mathematical Induction;
  • Section 3.2: Principle of Mathematical Induction (PMI);
  • Section 3.3: Examples;
  • Section 3.4: Variants of PMI;
  • Section 3.5: Strong Form of Induction;
  • Section 3.6: More Examples;
  • Section 3.7: Recursive Definitions;
    To Be Covered

  • Section 3.8: Recursion and PMI;
  • Section 3.9: Examples involving Divisibility;
  • Section 4.1: What is a set;
  • Section 4.2: The empty set;
  • Section 4.3: Subsets;
  • Section 4.4: Proper subsets;
  • Section 4.5: The power set;
  • Section 4.6: Set operations;
  • Section 4.7: Venn diagrams;
  • Section 4.8: Counting sets and subsets;

    Back to Dr. Huang's Home Page