- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Memorize the Definitions of Number Theory for a short quiz at the start of class on Thursday. You should memorize the rules derived from the axioms given in template form in the table on pages 39-40, not the original axioms on page 38.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Memorize the Peano Axioms for a short quiz at the start of class on Tuesday. You should memorize the rules derived from the axioms given in template form in the table on pages 38-39, not the original axioms on page 37. For the derived rules you can either write them in template form or in the more compact turnstile notation. For example, you can write N2 as $\sigma(m)=\sigma(n) \vdash m=n$ and M0 as simply $\vdash n\cdot 0=0$. You will have to write them all down from memory.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
Midterm Exam – Part 2
This assignment is Part 2 of your Midterm Exam, so every problem is worth triple what it would normally be worth on the homework. No googling or discussing these problems with others, but it is open notes, so you can look at the lecture notes or previous examples or homework problems. Enjoy!
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
Midterm Exam – Part 1
This assignment is Part 1 of your Midterm Exam, so every problem is worth triple what it would normally be worth on the homework. No googling or discussing these problems with others, but it is open notes, so you can look at the lecture notes or previous examples or homework problems. Enjoy!
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Memorize the Rules of Logic for a short quiz at the start of class on Tuesday. Memorize the template form of the twelve rules for Propositional logic in the table on pages 15-16 in the lecture notes, the four rules for quantifiers in the second table in section 5.4 of the lecture notes, and the two rules for equality in the second table in section 5.5 of the lecture notes. You will just have to write them all down from memory.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.
- Click on this link and answer the questions in that Lurch document. Save frequently to your Dropbox folder using the Lurch File > Save menu option.