| Tuesday | Thursday |
|---|---|
| 15 January Syllabus An Introduction to Big Ideas | |
| 20 January Section 1.1 - An introduction to logic | 22 January Section 1.2 - Conditional and Biconditional statements |
| 27 January Section 1.3 - Quantifiers | 29 January First homework problems (sections 1.1 and 1.2) due Section 1.3, again Analyzing arguments with truth tables Late homework policy announced. Click on today's date for details. |
| 3 February Sections 1.4 - Modus Ponens Ammendment to homework policy announced | 5 February Second set of homework problems (worksheets, section 1.3) due Section 1.4, cont Section 1.5 - contradiction contraposition biconditionals |
| 10 February Section 1.4 homework due Section 1.5, cont. Section 1.6 - proofs with quantifiers | 12 February Section 1.5 homework due Section 1.6, cont |
| 17 February Review for Exam 1 | 19 February Exam 1 |
| 24 February Review first exam | 26 February Section 1.7 - GCD and LCM |
| 2 March Section 1.7 - Euclidean algorithm | 4 March Section 2.1 - sets Section 2.2 - operations on sets |
| 9 March Section 1.7 homework due Section 2.3 - families of sets | 11 March Homework from section 2.1, 2.2 due Section 2.3, completed |
| March 15 - March 18 No classes - Spring Break | |
| 23 March Section 2.4 - Induction | 25 March Section 2.3 homework due Section 2.4, completed Section 2.5 |
| 30 March Section 2.4 Section 2.5 | 1 April Section 2.4 homework due Section 2.5, completed |
| 6 April Review for Exam 2 | 8 April Exam 2 |
| 13 April Section 3.1 | 15 April Section 3.1, completed Section 3.2 |
| 20 April Section 3.1 homework due Section 3.2, continued | 22 April Bonus problem due Section 3.3 Guest presentation |
| 27 April Groups rewrites due Section 3.3, cont | 29 April Section 3.2 and Section 3.3 homework due Section 4.1 |
| 4 May Section 4.1, cont Section 4.3 | 6 May Section 4.1 Homework due |
| 13 May Final Exam 11:00 am - 1:00 pm in our normal classroom | |