Basic Logic / Introduction to Mathematical Logic
Instructor: Professor Peter Bruce Andrews
Textbook: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Website: 21-300 Basic Logic and 21-600 Introduction to Mathematical Logic Fall 2011
Office Hours for Zilin Jiang (Teaching Assistant) in WEH 7213: T 1:30–3:00, Th 1:00–3:00.
Updates:
- Usual office hours on Tuesdays have changed from 1:00–3:00 to 1:30–3:00. (September 14, 2011)
- Usual office hour has changed from TTh 2:00–4:00 to TTh 1:00–3:00. (September 10, 2011)
Homework Guideline: Homework Guideline for 21-300 and 21-600 Fall 2011
Homework Feedback:
- Assignment A: X1004 (a, b, c) (15 points / 5 points each).
- Assignment B: X1011 (15 points).
- Assignment C: X1102 (15 points).
- Assignment D: X1101 (5 points).
- Assignment E: X1200, X1201, X1203, X1204, X1206, X1207, X1208 (21 points / 3 points each).
- Assignment F: X1302 (10 points).
- Assignment G: X1212, X1213 (20 points / 15 points for X1212 and 5 points for X1213).
- Assignment H: X1211 (15 points).
- Assignment I: X2002 – X2005 (24 points / 2 points each sub-question).
- Assignment J: X1224 (10 points).
- Assignment K: X2011 (19 points).
- Assignment L: X2101 (16 points / 4 points each).
- Assignment M: X1223, X2000, X2200 (18 points / 7 points for X1223, 7 points for X2000 and 4 points for X2200).
- Assignment N: X2141, X2143 (15 points / 3 points for X2141, 22 points for X2143).
- Assignment O: X1407, X1408 (16 points / 4 points each).
- Assignment P: X1416, X1417 (18 points / 9 points each).
Exam Feedback