MA 1971 On-Line Materials
Web of this course: http://users.wpi.edu/~msarkis/MA1971/course.html3m>
Course syllabus in:
syllabus.html
Instructor: Marcus Sarkis
Office: SH 206
Phone: 831-5287
e-mail: msarkis@wpi.edu
WEEK 1
-- Mar 12 to 16
Mar 12: Basic Logic (Pages 1-5 text book)
Mar 13: Snow day
Mar 15: Pages 6-13
Mar 16: Pages 14-19
Mar 16: HW1: Exercises(1.3): 2. Exercises(1.4): 5, 7, 12. Exercises(1.5): 7, 8. Exercises(1.7): 3, 8, 11, 13, 33. Deadline: Friday Mar 23 in class.
WEEK 2
-- Mar 19 to 23
Mar 19: Pages 20-24
Mar 20: Pages 25-39
Mar 20. SIAM Presents ... Introduction to Writing Proofs. 6-7pm, SH308.
Mar 22: Class of exercises.
Mar 23: Pages 39-43 Homework 2: Exercices(2.2): 3. Exercices(2.3): 8. Exercises(2.4): 4. Exercices(2.5): 1. Exercices(2.6): 1. Exercises(2.7): 2. Exercices(2.8): 13 Exercices(2.9):15. Deadline: Friday Mar 30 in class.
WEEK 3
-- Mar 26 to 30
Mar 26: Pages 44-47
Mar 27: Pages 48-54
Mar 29: Pages 45-58
Mar 30: Pages 59-60,91-94
WEEK 4
-- Apr 2 to 6
Pages 65-71
Apr 2:
HW1_solutions.pdf
Apr 2:
HW2_solutions.pdf
Apr 3: Pages 65-71
Apr 4: Pages 72-75
Apr 5" Mid Term Exam
Apr 6 Pages 75-78
Apr 7; Homework 3: Exercices(3.1):6. Exercices(3.2):2. Exercices(3.3):10. Exercices(3.4):4 Exercices(3.5):6. Exercices(3.6):2. Exercices(3.7):7. Exercices(4.1):3 Exercices(4.2): 16,20. Exercices(5.3):3. DEADLINE: Apr 17 (Tuesday) on class.
WEEK 6
-- Apr 16 to 20
Homework 3. Deadline Friday 27. Ex4.3):4, Ex4.4): 4, Ex4.5):18, Ex5.4): 4, Ex5.5): 8, Ex5.8): 4, Ex5.9): 4, Ex5.12): 4, Ex5.14): 6
WEEK 7
-- Apr 23 to 27
HW3_solutions.pdf
HW4_solutions.pdf