| Instructor: Gábor Hetyei | Last update: Tuesday, November 24, 2015 |
| Disclaimer: The information below comes with no warranty. If, due to typographical error, there is a discrepancy between the exercise numbers announced in class and the numbers below, or this page is not completely up to date, the required homework consists of those exercises which were announced in class. Check for the time of last update above. If, by my mistake, a wrong exercise number shows up below, I will allow you extra time to hand in the exercise whose number was announced in class. If, however, exercise numbers are missing because this page is not up to date, it is your responsibility to contact me before the due date. (No extra time will be allowed in that case.) This page is up to date if the last update happened after the last class before the next due date. |
| No. | Date due: | Problems: |
| 13 | 11/30 |
Written exercises: 6.5.1, 6.5.2. Bonus: 6.5.14 |
| 12 | 11/23 | Written exercises: parts (2), (5) and (6) of 6.3.1, 6.3.2. |
| 11 | 11/17 | Written exercises: 5.3.1, 5.3.2. |
| 10 | 11/10 | Written exercises: 4.4.1/(1)(2)(3)(4), 5.1.1, 5.1.3/(4)(5)(6)(7) |
| 9 | 11/3 | Written exercises: 4.2.1, 4.2.10, 4.3.7 |
| 8 | 10/27 |
Written exercises: 3.5.3, 4.1.1, 4.1.5
Oral exercises: 4.1.6, 4.1.8 |
| 7 | 10/20 |
Written exercises: 3.3.6, 3.3.20, 3.4.1
Oral exercises: 3.3.13, 3.3.17 |
| 6 | 10/6 | Written exercises: 3.2.2, 3.2.3, 3.2.4 |
| 5 | 9/29 |
Written exercises: 2.3.4, 2.3.5, 2.4.2
Oral exercises: 2.5.6, 2.5.10 |
| 4 | 9/22 |
Written exercises: 2.2.2, 2.2.8, 2.3.2.
Oral exercises: 2.3.8, 2.4.10 |
| 3 | 9/15 |
Written exercises: 1.5.3, parts (1), and (5) of 2.1.1.
Oral exercises: 1.5.12, parts (1) through (4) of 1.3.2. |
| 2 | 9/8 |
Written exercises: 1.3.8, parts (4), (5) and (6) of 1.4.3.
Note: When doing 1.4.3, you may use any rule listed in Fact 1.3.2. Note that the book does the same on page 42 (with De Morgan's Law). Oral exercise: 1.4.1 (pick and present one that has a valid derivation, and one that can be disproved using truth tables). |
| 1 | 9/1 |
Written exercises: parts (2), (3) and (4) of 1.2.4, parts (2),
(6) and (8) of 1.2.5, parts (1) and (4) of 1.2.11. Oral exercises: 1.2.13 and the following question: using only the disjunction, conjuntion and negation operations, create an expression that is logically equivalent to "if P then Q" and prove the logical equivalence using truth tables. |