MAT 407 : Mathematical Logic
MAT 407
Homework Schedule
of false assumptions, not by my exposure to fonts of wisdom and knowledge.
Igor Stravinsky
| The Schedule - Part 1 | Midterm Exam 1 |
| The Schedule - Part 2 | Midterm Exam 2 |
| The Schedule - Part 3 | Midterm Exam 3 |
| The Home Stretch | The Final Exam |
The Schedule - Part 1
| Date | Class | Homework |
|---|---|---|
| 2/4 | Class 1 on 1.1,1.2: Informal Statement Calculus |
Homework 1 due 2/6 |
| 2/6 | Class 2 on 1.2,1.3: Those Sentential Connectives |
Homework 2 due 2/9 |
| 2/9 | Class 3 on 1.3,1.4,1.5: Substitution, Normal Forms, Adequacy |
Homework 3 due 2/11 |
| 2/10 | Sarah Frick speaking on "Symbolic Dynamics:An Overview" |
3 PM in Olin 123 |
| 2/11 | Class 4 on 1.6,2.1: Arguments, Validity, and the Formal System L |
Homework 4 due 2/13 |
| 2/12 | Sarah Bryant speaking on "From Drunkard's Walk to Dirichlet Problem" |
3 PM in Olin 123 |
| 2/13 | Class 5 on 2.1: Proof in L |
Homework 5 due 2/16 |
| 2/16 | Class 6 on 2.2: Proof and Truth in L |
Homework 6 due 2/18 |
| 2/17 | Joel Kilty speaking on "Representing Functions with sin(x) and cos(x)" |
3 PM in Olin 123 |
| 2/18 | Class 7 on 2.2: Soundness and Adequacy for L |
Homework 7 due 2/20 |
| 2/19 | Lesley Wiglesworth speaking on "Guarding Art Galleries & Prison Yards" |
3 PM in Olin 123 |
| 2/20 | Class 8 on 2.2: The Adequacy Theorem for L |
Homework 8 due 2/23 |
| Biography Bibliography is due |
Biography Paper (doc) | |
| 2/23 | Class 9 on 2.2,3.1: Adequacy for L and Predicate Logic |
Homework 9 due 2/27 |
| Steven Broad speaking on "Umbilics and Loewner's Conjecture" |
4 PM in Olin 122 | |
| 2/25 | Class 10 on 3.2: First Order Languages |
Homework 10 due 3/2 |
| 2/27 | Class 11 on Midterm Exam 1 |
during class... |
Midterm Exam 1
The first midterm exam will be taken in-class on Friday, February 27th.Each midterm exam is worth 100 points and 17% of your final grade. The first midterm exam will cover the material we have studied since the beginning of the course. You should expect the exam to be a thorough and, at times challenging, exploration of the ideas we have studied. I do not approach exams as antagonistic events; the goal of the exam is to assess what you do and do not know. There can also be something fun and enjoyable about this experience, and I hope you will leave the exam pleased with how much you are able to accomplish.
The Schedule - Part 2
| Date | Class | Homework |
|---|---|---|
| 2/25 | Class 10 on 3.2: First Order Languages |
Homework 10 due 2/27 |
| 3/2 | Class 12 on 3.2,3.3: First Order Languages and Interpretations |
Homework 12 due 3/4 |
| 3/4 | Class 13 on 3.3,3.4: Interpretations and Satisfaction |
Homework 13 due 3/6 |
| 3/6 | Class 14 on 3.4: Satisfaction and Truth |
Homework 14 due 3/9 |
| 3/9 | Class 15 on 3.4: Satisfaction and Truth |
Homework 15 due 3/11 |
| 3/11 | Class 16 on 3.4,4.1: Satisfaction, Truth, and K__L |
Homework 16 due 3/13 |
| 3/13 | Class 17 on 4.1,4.2: K_L and Soundness |
Homework 17 due 3/16 |
| 3/16 | Class 18 on 4.2: Soundness and Equivalence |
Homework 18 due 3/18 |
| 3/18 | Class 19 on 4.2,4.3: Equivalence and Prenex Form |
Homework 19 due 3/30 |
| 3/20 | Class 20 on Midterm Exam 2 |
during class... |
| Have a great Spring Break!! | ||
Midterm Exam 2
The second midterm exam will be taken in-class on Friday, March 20th.Each midterm exam is worth 100 points and 17% of your final grade. The second midterm exam will cover the material we have studied since the first midterm exam.
The Schedule - Part 3
| Date | Class | Homework |
|---|---|---|
| 3/18 | Class 19 on 4.2,4.3: Equivalence and Prenex Form |
Homework 19 due 3/30 |
| 3/30 | Class 21 on Warm-up to Completeness |
Homework 21 due 4/1 |
| 4/1 | Class 22 on Consistency Lemmas for Completeness |
Homework 22 due 4/3 |
| 4/3 | Class 23 on no class... |
Homework 23 due 4/6 |
| 4/6 | Class 24 on Equivalence Relations, New Axioms, Completeness |
Homework 24 due 4/8 |
| 4/8 | Class 25 on Proof of Completeness Theorem for Predicate Logic |
Homework 25 due 4/10 |
| 4/10 | Class 26 on Completing Completeness plus Compactness |
Homework 26 due 4/13 |
| A Logical Biography is due |
Biography Paper (doc) | |
| 4/13 | Class 27 on Compactness Results |
Homework 27 due 4/15 |
| 4/15 | Class 28 on Compactness and Infinity |
Homework 28 due 4/17 |
| 4/17 | Class 29 on Infinity and LST Theorems |
Homework 29 due 4/22 |
| 4/20 | Class 30 on Midterm Exam 3 |
during class... |
Midterm Exam 3
The third midterm exam will be taken in-class on Monday, April 20th.Each midterm exam is worth 100 points and 17% of your final grade. The third midterm exam will cover the material we have studied since the second midterm exam.
The Schedule - The Home Stretch
| Date | Class | Homework |
|---|---|---|
| 4/17 | Class 29 on Infinty and LST Theorems |
Homework 29 due 4/22 |
| 4/22 | Class 31 on GIT: Expressible and Representable |
Homework 31 due 4/25 |
| 4/25 | Class 32 on GIT: Representable and Recursive Functions |
Homework 32 due 4/27 |
| 4/27 | Class 33 on GIT: Recursive/Computable |
Homework 33 due 4/29 |
| 4/29 | Class 34 on GIT: Recursive/Computable |
Homework 34 due 5/1 |
| 5/1 | Class 35 on GIT: Godel-numbering |
Homework 35 due 5/4 |
| 5/4 | Class 36 on GIT: The Theorems |
Homework 36 due 5/6 |
| 5/6 | Class 37 on GIT: The Theorems |
Homework 37 due 5/8 |
| 5/8 | Class 38 on 7: Computability |
Homework 38 due 5/11 |
| 5/11 | Class 39 on 7: The Halting Problem |
Study for your final. |
| 5/13 | Question & Answer Session for Final Exam |
soon... |
| 5/14 | Final Exam from 1:30 - 4:30 |
Have a great summer! |
The Final Exam
The Final Exam will take place on Thursday, May 14th from 1:30 - 4:30.The final exam is worth 150 points and 25% of your final grade. While a good portion of the final will focus on the ideas studied in the last quarter of the course, the final exam is comprehensive and you may be asked questions about any of the material that we have studied together.