Syllabus and Revised Schedule

Note third revision April 21!

References are to sections in Wolf or to the Geometry Notes (GN).
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

References are to sections in Wolf or to the Geometry Notes (GN).
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