Math 299 – Spring 2024: Training Workouts

Welcome to Math 299, where mathematicians are born!  I will post assignments and announcements here throughout the semester.  Check back frequently.  Below are links to some resources we will be using in the course.

• Download and install Dropbox on your laptop and send me the email address you used for your Dropbox account if you haven’t done so already.
• Read the course syllabus (see below).  Let me know if you have any questions.
• Read Problem #1 on the 2021 Prove it! admissions test and then play the Scrambler! Product Catalog game until you figure out how to reliably beat any goal on all three machines (Juggler, Frogger, Whirligig). You do not have to answer parts (a)-(f) of the question or hand in anything, but you should try figure out a strategy that is guaranteed to beat all three machines no matter what goal comes up when you select “New Goal”. I will ask you in class how to solve each machine. Prize cookies may be awarded. Optional: If you figure out all three levels, you can try the more advanced Scrambler game.

• 0. For each assignment that you hand in in Dropbox, make a folder called “Assignement #n”, where n is the Assignment number I have posted here. So for this assignment, put it in a subfolder of our shared Dropbox folder called “Assignment #1” and put your document in there. All assignments must be handed in prior to class on the day they are due. Be sure to name your files as explained in the syllabus below.
• 1. Answer Problem #1.4 at the end of Chapter 1 in the lecture notes. Type up your answer (you can use any editor for this assignment) and save your file to Dropbox as described above.
• 2. Try to figure out how to consistently beat Trix Game.  This is another example of a Toy Proof system. I’ll ask for volunteers in class. Write up your solution and put it in the same document as the provious problem. Cookies may be awarded.

Reminder: For each assignment that you hand in in Dropbox, make a folder called “Assignement #n”, where n is the Assignment number I have posted here. So for this assignment, put it in a subfolder of our shared Dropbox folder called “Assignment #2” and put your documents in there. All assignments must be handed in prior to class on the day they are due. Be sure to name your files as explained in the syllabus below.

• 1. Prove each of the following Circle-Dot theorems. You must use the Toy Proof software to ensure that your proofs are correct. Prove them using the software, and then print that web page to a PDF document and place that pdf document in your Dropbox homework folder with the appropriate file name. You can prove all four parts in one proof if you want, rather than proving them separately (but its ok if you prove then separately too). If you put one pdf for each problem below, name the files so I know which one is which. You can also just insert the printout into a larger document so that you can type comments or mark up the pdf with a stylus (for my iPad users).
  • Thm H: $\bullet\bigcirc\bullet$
  • Thm J: $\bigcirc\bigcirc\bigcirc$
  • Thm M: $\bigcirc\bigcirc\bullet\bullet\bullet$
  • Thm R:  $\bullet\bigcirc\bullet\bigcirc\bullet\bigcirc$
• 2. (Bonus) Can you explain why every circle-dot expression can be proven in the Circle-Dot toy system, or if not, determine with certainty exactly those expressions which can? Write up your answer in a pdf document (using whatever editor you like for now) and put it in the same Dropbox folder with this assignment.
• 3. Answer question 2.1 in the lecture notes below (all parts). Do not simplify your answers (other than inserting parentheses where needed).
• 4. Bring your laptops to class from now on.

• 1. Answer questions 2.2 and 2.3 in the lecture notes. You can type up your answers using any editor or write them by hand on paper. Either way scan or print your document to a pdf or save your Lurch file and put it in the appropriate folder in Dropbox. (Don’t put a .doc or .docx or .tex file or photos or images.)

• 1. Choose any five theorems that contain at least two different variables from Problems 4.12 thru 4.29 in the Lecture notes, and make a truth table for those to show that they are tautologies. You don’t have to type this in Lurch, but put your answer in Dropbox along with the next part even if they are separate files.

• 2. 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. Hand it in the same folder in Dropbox as the previous problem.

• 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.

1. 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.
2. 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.

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.

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.

1. 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.
2. 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.

1. 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.
2. 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.

1. 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.

1. 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.

1. Memorize the Axioms for Real Numbers for a short quiz at the start of class on Thursday. You should memorize the rules in the Table on page 52 of the Lecture Notes.
2. 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.

1. 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.

1. 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.

1. Memorize the Axioms for Set Theory for a short quiz at the start of class on Thursday (yes, Thursday, not Tuesday). You should memorize just the compact abbreviated rules in the Table on page 60 of the Lecture Notes.
2. 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.

1. Memorize the Axioms for Set Theory for a short quiz at the start of class on Thursday. You should memorize just the compact abbreviated rules in the Table on page 60 of the Lecture Notes.
2. 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.

1. 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.

1. Memorize the definitions for functions for a short quiz at the start of class. Memorize the first table in section 10.4 of the lecture notes. I will provide you with the names of the definitions.
2. 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.

1. Add all of the reasons to the second half of the proof that we went over quickly at the end of class on Thursday. The proof is in your Dropbox>handouts>in class folder named Apr 23 b.lurch. Add the reasons and then save your resulting Lurch file in the same Assignment #23 folder with the homework Lurch file below. Thus, your folder should contain two Lurch files for this assignment, not just one. You can save it with the same name, but put it in the Assignment #23 folder, otherwise it will get overwritten the next time I share class files with you.
2. 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.