The books below are in the spirit of the recommended text "Nuts and Bolts of Proof." If you find that book helpful, you might consider ordering one or more of these from someplace like Amazon.com or Barnes & Noble (these are listed in order of my familiarity with them, which may not be the same order I would recommend them in).
Old
Quizzes
Fall 2003: [Quiz
1] [Quiz
2] [Quiz
3] [Quiz
4] [Quiz
5] [Quiz
6]
Fall 2004 (with solutions): [Quiz SLE] [Quiz V] [Quiz M] [Quiz VS] [Quiz D&E] [Quiz LT] [Quiz R]
| Section |
Computational |
Theoretical |
|---|---|---|
| WILA |
1.1.1,
1.1.2,
1.1.11,
1.1.14, 1.1.42 |
|
| SSSLE |
1.1.8,
1.2.49, 1.2.50, 1.2.53 |
1.1.38/39 |
| RREF |
1.1.27,
1.1.31, 1.1.34, 1.2.3, 1.2, 5, 1.2.8, 1.2.13, 1.2.15, 1.2.17, 1.2.21,
1.2.23, 1.2.27, 1.2.29, 1.2.31, 1.2.47 |
|
| TSS |
1.2.38,
1.3.1, 1.3.3, 1.3.5, 1.3.6 |
|
| HSE |
1.3.7-19
odd,
1.3.21, 2.3.25 |
|
| NSM |
1.7.16,
1.7.17, 1.7.18, 1.7.21, 1.7.22, 1.7.24 |
2.3.51 |
| VO |
1.5.7,
1.5.15 |
|
| LC |
||
| SS |
1.5.45,
2.3.15, 2.3.17, 2.3.19, 2.3.21 |
|
| LI |
1.7.1-13
odd,
1.7.30, 1.7.41, 1.7.43, 2.4.1, 2.4.3, 2.4.7, 2.4.9, 2.4.27, 2.4.33 |
1.7.49/51 |
| MO |
1.5.1,
1.5.3 |
1.6.44,
1.6.47 |
| RM |
2.3.27-35
odd, 2.3.39, 2.3.41, 2.3.47, 2.4.19 |
2.3.50,
2.3.52 |
| RSM |
2.4.11,
2.4.13, 2.4.23 |
|
| MM |
1.5.11,
1.5.23, 1.5.31, 1.5.33-35, 1.5.40, 1.5.55, 1.5.63, 1.6.1, 1.6.3, 1.6.5,
1.6.17, 1.6.26, 1.6.27, 1.6.30-32, 4.3.28, 4.3.29 |
1.5.59,
1.5.60, 1.5.67, 1.7.47/49, 1.7.50/52, 1.7.51/53, 2.3.51 |
| MISLE |
1.9.3,
1.9.7,
1.9.19, 1.9.23, 1.9.29/31, 1.9.37/39, 1.9.39/41 |
1.9.52/54,
19.53/55, 1.9.54/56 |
| MINSM |
3.7.15,
3.7.17, 3.7.30 |
1.9.66/68 |
| O |
1.6.21,
2.6.3, 2.6.5, 2.6.9,
2.6.12, 2.6.13 |
1.6.46,
1.9.56/58, 2.6.22,
2.6.25, 2.6.28 |
| VS |
2.2.27,
4.2.1, 4.2.2, 4.2.3,
4.2.5, 4.2.9, 4.2.11, 4.2.13,
4.2.15, 4.2.18, 4.2.19 |
|
| S |
2.2.3,
2.2.5, 2.2.7, 2.2.15,
2.2.17, 4.3.1, 4.3.3, 4.3.5,
4.3.7, 4.3.9, 4.3.13, 4.3.17, 4.3.19, 4.3.23 |
2.2.18,
2.2.21, 2.2.30, 2.2.31,
2.2.32, 4.3.30, 4.5.2 |
| B |
4.3.27,
4.3.32, 4.4.1, 4.4.3,
4.4.5, 4.4.7, 4.4.14, 4.4.15,
4.4.17, 4.4.19, 4.4.21, 4.4.24 |
4.4.32,
4.4.36, 4.4.37, 4.4.38,
2.5.31 |
| D |
2.5.17,
2.5.23, 2.5.25, 2.5.27,
2.5.29, 4.5.1, 4.5.4, 4.5.5,
4.5.7 |
2.5.38,
2.5.40, 4.5.17 |
| PD |
2.5.7,
2.5.8, 2.5.9, 4.5.9,
4.5.11, 4.5.13 |
2.5.30,
2.5.32, 2.5.36 |
| DM |
3.2.1-3.2.4,
3.2.7, 3.2.9,
3.2.11, 3.2.17, 3.2.18, 3.2.19 |
3.2.23,
3.2.24, 3.2.33, 3.2.34 |
| EE |
3.1.3, 3.1.5, 3.1.7, 3.1.9, 3.1.15, 3.4.3, 3.4.5, 3.4.7, 3.4.9, 3.4.13, 3.4.21, 3.5.3, 3.5.5, 3.5.7, 3.5.9, 3.5.13, 3.5.17, 3.6.21, 3.6.23, 3.6.33 | 3.1.17,
3.1.19 |
| PEE |
3.5.19 |
3.4.25, 3.4.30, 3.5.21, 3.5.22, 3.5.23, 3.5.24, 3.5.25, 3.5.28, 3.5.29, 3.6.36, 3.6.37, 3.6.41 |
| SD |
3.5.3,
3.5.5, 3.5.7 |
3.5.25, 3.5.26, 3.5.27, 3.5.29, 3.5.43 |
| LT |
2.7.1,
2.7.2, 2.7.5, 2.7.7,
2.7.11, 2.7.13, 2.7.15, 2.7.17,
2.7.19, 4.7.5, 4.7.7, 4.7.9, 4.8.1-4.8.4 |
2.7.33,
2.7.38 |
| ILT |
2.7.3 |
4.7.20,
4.7.26 |
| SLT |
4.7.22 |
|
| ILT/SLT |
2.7.29,
4.7.13, 4.7.16, 4.7.17,
4.8.5, 4.8.6 |
4.7.18,
4.7.19, 4.7.21 |
| IVLT |
4.8.7,
4.8.9, 4.8.11 |
4.8.18-28 |
| VR |
4.5.18 |
|
| MR |
4.9.1-10,
4.9-13, 4.9.14-16,
4.9.19 |
4.9.28,
4.9.30 |
| CB |
4.10.1, 4.10.3, 4.10.6, 4.10.9, 4.10.10, 4.10.11, 4.10.15, 4.10.16 | 4.10.17, , 4.10.18, 4.10.19, 4.10.20 |
Homework
exercises
| Section |
Section |
Computational |
Theoretical |
|---|---|---|---|
| WILA |
|||
| SSSLE |
|||
| RREF |
|||
| TSS |
|||
| HSE |
|||
| NSM |
|||
| VO |
|||
| LC |
|||
| SS |
2.I.2 |
2.22a |
2.39,
2.41 |
| LI |
2.II.1 |
1.18 |
1.24,
1.25,
1.26, 1.33, 1.38 |
| MO |
3.IV.1 |
1.7 |
1.9, 1.13, 1.15a |
| RM |
|||
| RSM |
|||
| MM |
|||
| MISLE |
|||
| MINSM |
|||
| VS |
|||
| S |
2.I.2 |
2.20, 2.21, 2.25, 2.26,
2.35 |
|
| B |
2.III.1 |
1.16-1.24, 1.28, 1.32,
1.34 |
1.27, 1.30, 1.31, 1.33 |
| D |
|||
| PD |
2.III.2 |
Any (2.14-2.34) |