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 |