| Jan 31 | Last day to add a course without a permission number |
| Feb 7 | Last day to drop a course online |
| Feb 13 | Last day to drop a course without a "W" on your transcript |
| Feb 14 | Last day to add a course with a permission number |
| Apr 16 | Last day to withdraw from a course with a serious and compelling reason |
| Date |
Recommended exercises (not for grade, do not turn in) |
Written homework due (will be graded) |
Topic & lecture notes |
| Jan 18 |
- |
- |
Introduction. Syllabus & Schedule.
Puzzle 1: truthtellers and liars. |
| Jan 21 |
Martin Luther King Jr. Day - campus closed |
| Jan 23 |
- |
- |
Logical statements, open statements. True and false statements.
Logical operations (negation, conjunction,
disjunction, implication, biconditional), their truth tables.
Exclusive disjunction and its truth table. |
| Jan 25 |
- |
- |
Compound statements. Order of operations.
Logically equivalent statements.
Disjunctive and conjunctive normal forms.
Nand operation.
Expressing some operations in terms of others. (notes have been updated) |
| Jan 28 |
- |
- |
| Jan 30 |
Exercises 2.12, 2.14, 2.15, 2.17, 2.34, 2.35, 2.37, 2.38 |
Homework 1: Exercises 2.1, 2.8, 2.10, 2.16, 2.22 |
Fundamental properties of logical operations.
Tautologies and Contradictions. Proving other properties.
(notes have been updated)
(see also: Logical equivalence and fundamental properties and
Tautologies and contradictions in the book) |
| Feb 1 |
- |
- |
| Feb 4 |
- |
- |
Puzzle 1 revisited.
Expressing some operations in terms of others revisited. (notes have been updated) |
| Feb 6 |
Exercises 2.31, 2.33, 2.36, 2.39, 2.40, 2.57 |
Homework 2: Exercises 2.30, 2.32, 2.34, 2.35, 2.37 |
| Feb 8 |
- |
- |
| Feb 11 |
- |
- |
More logic puzzles. Solutions. (notes have been updated) |
| Feb 13 |
|
Homework 3 |
| Feb 15 |
- |
- |
| Feb 18 |
Presidents' Day - campus closed |
| Feb 20 |
|
Homework 4 |
Review |
| Feb 22 |
- |
- |
Test 1 |
| Feb 25 |
- |
- |
Set operations, Venn diagrams.
Fundamental identities in set theory.
Proofs of set identities. |
| Feb 27 |
- |
- |
| Mar 1 |
- |
- |
| Mar 4 |
- |
- |
Similarities between logical and set operations.
Interpretation of formulas in sets. Formulas valid in sets. |
| Mar 6 |
Exercises 1.8, 1.10, 1.11, 1.12, 1.15, 1.19, 1.21, 1.30, 1.44 |
Homework 5: Exercises 1.14, 1.17, 1.22, 1.28, 1.45 |
| Mar 8 |
- |
- |
Quantifiers. |
| Mar 11 |
- |
- |
Negations of quantified statements, nested quantifiers.
(see also: Negations of quantified statements, nested quantifiers section in the book.) |
| Mar 13 |
|
Homework 6 |
| Mar 15 |
- |
- |
| Mar 18 |
- |
- |
Properties of quantified statements. |
| Mar 20 |
|
Homework 7: Exercises 7.5, 7.6, 7.7, 7.8, 7.14 |
| Mar 22 |
- |
- |
| Mar 25 |
- |
- |
More proofs of quantified statements. |
| Mar 27 |
Exercises 2.43, 2.47, 2.48, Exercises 7.2, 7.4, 7.9, 7.12, 7.15
Solutions to odd-numbered exercises in chapters 1, 2, and 7 |
- |
Review |
| Mar 29 |
- |
- |
Test 2 |
| Apr 1 |
Cesar Chavez Day observed - campus closed |
| Apr 3 |
|
- |
Non-constructive existence proofs. |
| Apr 5 |
- |
- |
| Apr 8 |
- |
- |
| Apr 10 |
|
- |
Paradoxes in logic and set theory.
Announcement: Volunteers are needed for Math Field Day. Sign up here. |
| Apr 12 |
- |
Homework 8 |
|
| Apr 15 |
Spring recess |
| Apr 17 |
| Apr 19 |
| Apr 22 |
- |
For extra credit: find a winning strategy for the die game |
Axioms. Deriving tautologies from axioms. (notes have been updated) |
| Apr 24 |
|
Homework 9 |
| Apr 26 |
- |
- |
Modal operators and their interpretation. Axioms. Modal logics. |
| Apr 29 |
- |
- |
| May 1 |
|
Homework 10 |
Review |
| May 3 |
- |
- |
Test 3 |
| May 6 |
- |
- |
Review. Study Guide. |
| May 8 |
- |
Homework 11 (review) |
| May 9 |
Faculty consultation day. Consultation hours: 11 AM - 1 PM |
| May 10 |
Faculty consultation day. Consultation hours: 9 AM - 12 PM |
| May 15 |
- |
- |
3:30 PM - 5:30 PM Final Exam |