| Jan 30: | Last day to ADD classes without instructor's permission. |
| Feb 6: | Last day to DROP classes online. |
| Feb 13: | Last day to DROP classes with a paper form without a serious and compelling reason. |
| May 10: | Last day to WITHDRAW from a course for a serious and compelling reason. |
| Date |
Reading assignment and recommended exercises (not for grade, do not turn in) |
Written homework due |
Topic & lecture notes |
| Jan 17 |
- |
- |
Introduction. Syllabus & Schedule.
Puzzle 1: truthtellers and liars.
Logical statements, open statements. True and false statements.
Logical operations, truth tables. |
| Jan 19 |
- |
- |
Exclusive or.
Compound statements. Order of operations.
Logically equivalent statements.
Expressing some operations in terms of others. |
| Jan 24 |
- |
- |
Fundamental properties of logical operations. Proving other properties.
(see also: Logical equivalence and fundamental properties sections in the book) |
| Jan 26 |
- |
- |
| Jan 31 |
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 |
Puzzle 1 revisited.
Tautologies and contradictions. |
| Feb 2 |
- |
- |
Expressing some operations in terms of others revisited. |
| Feb 7 |
Exercises 2.32, 2.33, 2.36, 2.38, 2.39, 2.40, 2.57 |
Homework 2: Exercises 2.30, 2.31, 2.34, 2.35, 2.37 |
| Feb 9 |
- |
- |
Axioms. Deriving tautologies from axioms. |
| Feb 14 |
|
Homework 3 |
Review |
| Feb 16 |
- |
- |
Test 1 |
| Feb 21 |
|
Homework 4 |
Set operations, Venn diagrams. |
| Feb 23 |
|
- |
Fundamental identities in set theory.
Proofs of set identities.
Similarities between logical and set operations. |
| Feb 28 |
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 |
Similarities between logical and set operations cont.
Interpretation of formulas in sets. |
| Mar 2 |
|
- |
Formulas valid in sets.
Quantifiers. |
| Mar 7 |
Exercises 2.43, 2.47, 2.48 |
Homework 6 |
Negations of quantified statements, nested quantifiers.
(see also: Negations of quantified statements, nested quantifiers section in the book) |
| Mar 9 |
|
- |
Quantifiers cont. |
| Mar 14 |
|
Homework 7: Exercises 7.5, 7.6, 7.7, 7.8, 7.9 |
Properties of quantified statements.
Non-constructive existence proofs. - lecture notes 10 to be posted |
| Mar 16 |
|
- |
Paradoxes in logic and set theory |
| Mar 21 |
Solutions to odd-numbered exercises in chapters 1, 2, and 7 |
Homework 8 |
Review |
| Mar 23 |
|
- |
Test 2 |
| Mar 28 |
|
Homework 9: Exercises 7.2, 7.4, 7.12, 7.14, 7.15
Necessary definitions |
Modal operators and their interpretation. Axioms. Modal logics. Sublogic relationships. |
| Mar 30 |
|
- |
| Apr 4 |
|
- |
Topological spaces. |
| Apr 6 |
|
- |
| Apr 11 |
Spring recess |
| Apr 13 |
| Apr 18 |
|
Homework 10 |
Topological spaces, interior, closure continued.
Interior and complement problem.
Interpretations of modal logics. |
| Apr 20 |
|
- |
| Apr 25 |
|
Homework 11 |
| Apr 27 |
|
- |
| May 2 |
|
Homework 12 |
Review, Practice Questions for Test 3 |
| May 4 |
|
- |
Test 3 |
| May 9 |
|
|
Review: Study Guide |
| May 11 |
Faculty consultation day. Consultation hours: 9-12 and 1-3 in PB 340 |
| May 18 |
- |
- |
11:00AM-1:00PM Final Exam |