Our weekly problem sessions will be held online every Friday, from 12:30-2:30pm, starting Fri Feb 03. We'll use the same Zoom link that we use for office hours.
If you're interested in typesetting math, the system I use to make my handouts is called LaTeX, and it can be downloaded for free (in Windows format) at http://www.miktex.org. If you own a Mac (system OS X) or a Linux computer, you already own a copy of this program, as it's been a standard Unix program for about 20 years. And for our purposes, the key point is that under any system, LaTeX can produce pdf output that is ideal for online homework submission.
LaTeX is well worth learning, if you have some free time; it's used for manuals and technical reports throughout nerd-dom. For self-study, I highly recommend the LaTeX book by Leslie Lamport, which you can purchase here.
Course material: None yet.
Date | Handout/activity |
Mon Jan 30 | Intro to Team-Worthy Tasks |
Wed Feb 01 | Applications of Logic |
HW | Due date | Problems |
HW00 | Wed Feb 01 | See handout |
Textbook | Wed Feb 01 | Buy the textbook and bring it in |
HW01 | Wed Feb 01 | (1.1) 6, 10(b,f,g), 16(a,d,e), 20, 26(d,f,h), 30(a,b), 38(a,c,e). |
HW02 | Mon Feb 06 | (1.2) 4, 6, 8, 18, 24, 30, 38. |
HW03 | Wed Feb 08 | (1.3) 8, 14(c,d), 16(a,b), 22, 28, 36, 44. |
HW04 | Mon Feb 13 | (1.4) 8, 12(c,d,e,g), 18(a,b), 22(b,c), 28(b,c,e), 34(b,d), 36(b,d). |
HW05 | Wed Feb 15 | (1.5) 4(b,c,f), 12(d,f,j,k), 16(c,d,e), 20(b,c), 26(c,g,h), 32(a,d), 36(c,d,e). |
HW06 | Mon Feb 20 | (1.6) 4(b,c,e), 8, 12, 16(b,c), 20, 24, 28. |
HW07 | Wed Mar 01 | (1.7) 6, 10, 14, 20, 26, 30, 32. |
HW08 | Mon Mar 06 | (1.8) 2, 6, 14, 18, 22, 30. |
HW09 | Wed Mar 08 | (2.1) 8, 12(b,d,e,f), 18, 28, 34, 38, 44. |
HW10 | Mon Mar 13 | (2.2) 4, 8, 12, 18, 20(b,c,d), 28, 32. |
HW11 | Wed Mar 15 | (2.3) 6(a,c,e), 12(c,d), 14(a,c,e), 20, 26, 32, 40. |
HW12 | Mon Mar 20 | (2.4) 6(d,g,h), 12(b,d), 16(c,d,f), 22, 26(c,e,g), 32(b,c), 40. |
HW13 | Wed Apr 05 | (4.1) 8, 12, 16(b,c), 20, 26(b,c), 36, 46. |
HW14 | Mon Apr 10 | (4.2) 2(a,c), 4(b,d), 8; (4.3) 4(c,d,f), 14, 24(b,c,d), 26(b,c,d). |
HW15 | Thu Apr 13 | (5.1) 4(a-e), 10, 14, 22, 28. |
HW16 | Mon Apr 17 | (5.1) 38; (5.2) 4(a-d), 12, 26(b,c). |
HW17 | Wed Apr 19 | (6.1) 4, 10, 16, 24(c,e,g), 32(d,e), 50; (6.2) 4. |
HW18 | Mon Apr 24 | (6.2) 16, 24, 36; (6.3) 10, 16, 24, 40. |
HW19 | Wed Apr 26 | (7.1) 6, 12, 18, 24(c), 30, 36, 40(a,c). |
HW20 | Mon May 01 | (7.2) 2, 8(c,d), 10(c,d,e), 16, 18(a,b,c), 26, 30(b,c). |
HW21 | Wed May 10 | (9.1) 2, 4(a,c), 6(c,d,e,g,h), 18, 24, 30(b,d). |
Homework: | 16% |
Exam 1, 2, and 3: | 18% each |
Final: | 30% |