MAT 200
Logic, Language, and Proof Spring 2005 |
IndexAnnouncement Syllabus and Schedule Homework |

Week |
Dates |
Topic |
Reference |
Comments |

1 | Jan 25 | Introduction. Statements, prop. variables, and logical connectives. Truth tables | 2.1 | HW 1 assigned |

Jan 27 | Equivalent
formulas; tautologies. Translating English to prop. logic. Conditional and biconditional |
2.2 | ||

2 | Feb 1 | Propositional consequence; valid/invalid arguments. Proofs via truth tables and using intermediate steps. |
2.3 | HW 2 assigned |

Feb 3 | Formal proofs. Inference rules of propositional logic | 4.2 | ||

3 | Feb 8 | Proofs continued. Proof by contradiction and proof by cases. | 4.2 | HW 3 assigned |

Feb 10 | Predicates and quantifiers | 3.1-3.2 | ||

4 | Feb 15 | More on quantifiers. Free and bound variables. Change of bound variable. | HW 4 assigned | |

Feb 17 | Existence and uniqueness. Formal proofs involving quantifiers. | 3.4; 4.1,4.3 | ||

5 | Feb 22 | Formal proofs involving quantifiers continued. Axioms of real numbers. | 4.3 | |

Feb 24 | CLASS CANCELLED | |||

6 | Mar 1 | Review for Midterm 1
review sheet Office hours Tues 1:30-3:30 this week. |
||

Mar 3 | MIDTERM 1 | |||

7 | Mar 8 | Definitions and incidence axioms | Geometry Notes §2 |
HW 5 assigned |

Mar 10 | Ruler axiom. Rays | GN, §3 | ||

8 | Mar 15 | (snow day) | ||

Mar 17 | Protractor Axiom. Vertical and supplementary angles | GN, §4 | HW 6 assigned | |

9 | Mar 29 | Triangles and congruence rules: ASA, SAS, SSS | GN, §5.1-5.7 | HW 7 assigned |

Mar 31 | Inequalities for general triangles | GN, §5.8-5.9 | ||

10 | Apr 5 | Parallel lines revisited. Alternate interior angles, sum of angles of a triangle. | HW 8 assigned | |

Apr 7 | Review for Midterm 2 | |||

11 | Apr 12 | Review for Midterm 2 | ||

Apr 14 | MIDTERM 2 | |||

12 | Apr 19 | Basic set theory. Union, intersection, and Venn diagrams | 5.1-5.2 | HW 9 assigned |

Apr 21 | More advanced set operations: infinite union and intersection, power set. | 5.3 | ||

13 | Apr 26 | Relations | 6.1 | HW 10 assigned |

Apr 28 | Equivalence relations and equivalence classes | 6.2 | ||

14 | May 3 | Functions and function notation | 7.1-7.2 | |

May 5 | Review for Final |

*April 21 2005*