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 |