Weimin Chen, 1323K LGRT. wch@umass.edu
Office hours: Mondays and Tuesdays 3-4pm, or by appointment.
Lectures: Math300-01, TuTh 10-11:15, LGRT206. Math300-03, MWF 11:15-12:05, LGRT141.
Math300-01: Riley Burton, LGRT 1235C. rileyburton@umass.edu
Office hours: Mondays and Wednesdays 12:30-1:30.
Discussions: 01LL, M4-4:50, LGRT1114, 01LM, M5:30-6:20, LGRT1114.
Math300-03: Andrey Brinsko, LGRT 1435I. abrinsko@umass.edu
Office hours: Mondays 1:00 - 2:00, Wednesdays 3:00 - 4:00.
Discussions: 03LL, Tu4-4:50, LGRT1322, 03LM, Tu5:30-6:20, LGRT1322.
How to Prove it, by Daniel J. Velleman, 2nd edition, Cambridge Univ. Press.
Chapter 1: Sentential Logic,
Chapter 2: Quantificational Logic
Chapter 3: Proofs
Chapter 6: Math Induction
Midterm Review
Midterm Exam
Chapter 6: Math Induction
Chapter 4: Relations
Chapter 5: Functions
Chapter 7: Infinite Sets
Final Exam Review
Final Exam
Midterm: Oct. 30 (Wed), 7-9pm, Room HAS0134
Final Exam: as scheduled on Spire
Midterm, 35\%, Final, 35\%, Homework, 30\%.
If you have a legitimate (i.e., multiple exams at the same time, medical problems, emergency absences, religious observances) scheduling conflict with any of the exams, please notify me of the conflict as soon as you become aware of it. Please note that previously arranged travel plans are not a valid reason to be given a make-up exam.
Calculators are useful auxiliary tools for the course. However, it will be expected that you can work all of the problems without the aid of a calculator. Calculators will be permitted on the exams, but it will be expected that all non-arithmetic work is present and explained in your answer.
Homework is collected and graded on a (roughly) weekly basis. (Time of collection: TBA.) Each homework must be well organized and neatly written. Homework assignments are posted at the bottom of this page. We plan to use Gradescope. Each homework assignment consists of roughly 10 questions, and only 6 randomly chosen problems will be graded.
Final Review(a set of practice problems, not a practice exam) for the final exam (Monday, 12/16, 1-3pm, LGRT 123). The final exam is not cumulative; it only covers Chapter 4 and Chapter 6.
Answers to selected problems on Final Review will be posted on Friday, 12/13.
I will hold a review session going over the problems on Sunday, 12/15, 7-9pm. Room: LGRT 121.
Midterm Review(a set of practice problems, not a practice exam) for the upcoming midterm exam on Oct. 30.
Answers to selected problems will be posted on Monday Oct. 28.
I will hold a review session going over this problem set on Oct. 29, 7-9pm.
Welcome to class!
"Disability Services is in need of a note taker for this class. If you are interested, please email notes@admin.umass.edu with your name, student ID and the course info (i.e. BIOLOGY 100, Section 2, Professor Jones). Disability Services staff will contact you to confirm and provide you instructions. You may earn 45 hours of community service for your efforts, or 1 pass/fail practicum credit."
"The University of Massachusetts Amherst is committed to making reasonable, effective and appropriate accommodations to meet the needs of students with disabilities and help create a barrier-free campus. If you have a disability and require accommodations, please register with Disability Services (161 Whitmore Administration building; phone 413-545-0892) to have an accommodation letter sent to your faculty. Information on services and materials for registering are also available on their website www.umass.edu/disability."
"In accordance with Title IX of the Education Amendments of 1972 that prohibits gender-based discrimination in educational settings that receive federal funds, the University of Massachusetts Amherst is committed to providing a safe learning environment for all students, free from all forms of discrimination, including sexual assault, sexual harassment, domestic violence, dating violence, stalking, and retaliation. This includes interactions in person or online through digital platforms and social media. Title IX also protects against discrimination on the basis of pregnancy, childbirth, false pregnancy, miscarriage, abortion, or related conditions, including recovery. There are resources here on campus to support you. A summary of the available Title IX resources (confidential and non-confidential) can be found at the following link. You do not need to make a formal report to access them. If you need immediate support, you are not alone. Free and confidential support is available 24 hours a day / 7 days a week / 365 days a year at the SASA Hotline 413-545-0800.
| Hw # | Assignments | Due date |
| 1 | Ex. 1.1: #2, 3, 5, 6, 7, Ex. 1.2: #2, 3, 4, 8, 12. | 9/12 |
| 2 | Ex.1.3: #2,4,6,8, Ex.1.4:#2,6,7,8, Ex.1.5:#2,3,5,10. | 9/22 |
| 3 | Ex. 2.1: #2,3,5,6, Ex. 2.2: #2,3,6,7, Ex. 3.1: #5,7,10,13. | 10/2 |
| 4 | Ex. 3.2: #3,4,7,9,10, Ex. 3.3: #2,3,6,7. | 10/17 |
| 5 | Ex. 3.4: #10, Ex. 3.5: #9,10,12,13,14, Ex.3.6: #1,2,3. | 10/24 |
| 6 | Ex. 6.1: #2,5,6,8,9,18, Ex.6.2: #6,7, Ex. 6.3: #1,3,6. | 11/1 |
| 7 | Ex. 6.3: #10, 11, 15, 16, 17, 20, Ex. 6.4: #9,10,11,19. | 11/13 |
| 8 | Ex. 4.1:#3,7,12, Ex. 4.2: #1,2,4,7, Ex. 4.3: #2,4,5,22. | 11/20 |
| 9 | Ex. 4.4: #1,2,3,4, Ex. 4.5: #1,2,6,20, Ex. 4.6: #1,2,4,11. | 12/11 |