I hope everyone is having a great break! Please use break to catch up on anything you need, and plan ahead.

**For Monday:**

- There will be a
**badges quiz**. It will cover Logic, Functions, Proofs, Synthesis. It will include Logic I,II,IV, Proofs I,II **for the last time. **
- You can earn badges in office hour (W/Th 1 pm): you can earn any badge which has stopped appearing on the quiz, so Sets I-IV, Logic I,II,IV and Proofs I,II. See this old post for details how to do this (it requires preparation). Maximum one badge per week, so plan ahead. This is an excellent way to bring your grade up by making an extra effort during the last weeks.
**Look ahead:** the week following break will be another individual assignment due Friday. I’ll post it shortly. On that Friday we’ll have another induction proof quiz (because induction is so important).

**For Friday:**

**Proof Quiz** will be a proof that a function is/is not injective/surjective. Read Hammack Section 12.2. Examples 12.4 and 12.5 are ideal models, as are exercises 2-10 (where “verify” means “prove or disprove” (disprove means prove the negation).
**Reminder that individual homework is due.** The assignment is under Resources (above) under Groupwork. (But you can do it individually.) Hand in on canvas.
- You can still earn badges in office hour Wed/Thur, as explained previously.
- In class, we will continue talking about functions and cardinalities.

**For Wednesday:**

- Keep thinking about the relative cardinalities of the natural numbers, integers, rationals and reals. Think about the cartesian product of the integers with itself, too.
- Read Hammack, Section 12.2. Do some exercises from 12.2 — maybe 5 of them.
- Get a start on the Assignment for this week, which you’ll hand in on canvas. It’s listed under the Groupwork section of Resources. For more info on how this individual assignment replaces a groupwork, see the post on Monday.

**Thank you** for your feedback on **the midsemester survey!** It was very very helpful — thanks for writing so much. **Here’s what we will do:**

- We will have two more groupwork assignments with presentations, due/presented on April 13th and 27th. We will mix up groups one more time beforehand.
- On the non-groupwork weeks, I will still assign some proofs for everyone to write up individually and hand in on canvas. You will be allowed to work with others, if you like. They will also be handed in on canvas and I will assign a simple grade based on completeness, but can’t provide detailed feedback via canvas. I can give one-on-one feedback by request in office hour.
- On presentation days, I may choose from individual assignments and group assignments for presentations.

**For Monday’s class:**

- I have posted an assignment (under groupwork on Resources) due for hand-in on canvas next Friday. You may work with others if you like, but your write-up should be your own. Some suggestions:
- Look for other students in MARC, 6-8 pm Tuesday, Wednesday and Thursday. (I’m just suggesting a general time, there’s no implied guarantee or requirement here.) Note: MARC tutors don’t specifically cater to 2001, but it’s still a good place to meet.
- Contact others via canvas.
- Continue to work with your group or old group if desired.

- Monday’s badges quiz will include the same topics as last time plus some Synthesis. Synthesis badges are usually harder: they involve interesting combinations of your knowledge of other badges.
- If you’re having trouble negating “if-then”, take a look at the video (see also Hammack 2.10). If you’re having trouble with quantifiers, read Hammack, Chapter 2.7 and 2.9 and do exercises there.
- The following badges will appear
**only two more times** (last time is the Monday after break): Logic I,II,IV, Proofs I,II.
- Note: You can still earn Sets badges in office hour before break (see this old post for details). After break, you can earn Logic/Proofs badges in office hour for a few weeks (but Sets will be finished).
- I suggest that over the weekend you get a start on the assignment, and prepare for Monday’s badges quiz.

Too bad it isn’t Pi Day forever. I hope you all got some free pie.

**For Friday:**

**The quiz will be on induction**. Please study for it, with the goal of understanding the main idea behind induction. In the past few weeks of posts/materials you will find reminders and suggestions for problems/readings/study.
- No presentations, since no groupwork. We will, however, work on proofs.
- If you haven’t already filled out the
**anonymous midsemester feedback survey** on canvas, please please do so.

**Late addition! Wednesday is Pi Day! Some activities:**

**Please join your math community for free fruit pie and pi-related activities in the foyer of the Math building (near Math 175) from 9am until 4pm.**
- The next undergraduate Math Club talk for this Spring 2018 semester will be given by
**Dr. Robin Deeley**, this **Wednesday, March 14 from 5 – 6pm in ****MATH**** 350.** **Title**: Shift dynamics **Abstract**: Dynamical systems were introduce by Poincaré in his study of the behavior of the solar system. I will discuss a number of dynamical systems coming from linear algebra and calculus before moving to an introduction to shift spaces and their dynamics. The concept of sensitivity to initial conditions will be emphasized. **Free pizza-pi(e) and drinks will be provided.**

**For Wednesday:**

- Please fill out the
**anonymous midsemester feedback survey** on canvas.
- Review the terms on your
**Second Functions Worksheet**, and make sure you have completed Problems 1 and 2 and feel confident about the answers. In class Wednesday, we will finish this worksheet, so bring it back to class.
**Read Hammack**, Chapter 12 up to the end of 12.2 (pages 196-204). This covers functions as we have been discussing them. Note that Hammack uses the term “relation” in Definition 12.1 on page 197. This really just means “subset of the Cartesian product”, as we discussed in class. (No need to read Chapter 11 right now.)
- Do some
**12.1 and 12.2 Exercises** — whatever you feel is interesting.
- Do at least
**one inductive proof** — I suggest Chapter 10, Exercise 10.

**For Monday:**

**No groupwork this week** (nothing due on Friday Mar 16). It’s a week off!
- Please fill out the new
**Midsemester Feedback Survey** (anonymous) on canvas. In particular, this is your chance to weigh in on how we should change the group work system, if it needs any changing.
- The
**badges quiz** will cover Logic, Proofs, and also (new) Functions I and II.
- Please complete the
**first function worksheet** for us to take up in class.
- Please
**review the notions** of *function, domain, codomain, surjective *and* injective*, as covered in class. You can also find these in Hammack. Make sure you come Monday having reminded yourself what each of these words means.
- By popular demand, here is the link to the
**registrar Spring 2018 exam schedule**. I don’t know why it isn’t showing up in my.cu.edu as in previous semesters.
- This coming week again,
**you may earn a missing Sets badge** by coming to office hour with a study sheet, as described in detail in this old post (scroll down).
- Please continue to study induction, as the proof quiz next Friday will be an inductive proof.

**For Friday:**

- Group Presentation Day!
- The
**proof quiz** will be a proof which is easiest by **contrapositive**. (You have freedom to choose a proof method, but contrapositive will be your best bet.) To study for this, spend time with Hammack, Chapter 5. The proof will be similar to Chapter 5, p. 110, Exercises 1-13. Also, here are solutions to the Set Up Contrapositive worksheet.
- Read Hammack, Section 5.3, which has some writing advice.
- Please complete the Functions Worksheet we just started in class, by Monday. We will take this up on Monday.
- Please keep studying induction, it is a tricky topic and you must find your peace with it as a method — we will test it next week.

**To do for Wednesday:**

- Please fill out your Proof by Contrapositive Setup Sheet, and your Proof by Induction Setup Sheet. We will take them up in class.
- Finish the weekend’s homework, if you didn’t have time to.
- Read Hammack, Section 2.7, and do the odd exercises and compare to the back.
- Read Hammack, Section 2.9, and do the odd exercises and compare to the back.
**Correction:** In one of the classes, I called both symbols “universal quantifiers”. That’s incorrect. The “for all” symbol is a universal quantifier, and the “there exists” is an existential quantifier. To cheer you up.
- If you missed last monday/wednesday’s induction lectures, here is a quick summary: PDF Presentation of Trees having n-1 edges and accompanying video.
- Consider coming to office hour to earn a
**missing sets badge**. The current hours (although they don’t generally change) are listed under “About” on the navigation bar above. Below is more information on this opportunity.

**HOW TO EARN a Sets Badge in Office Hour:**

- You may earn a missing sets badge (maximum one per week) by coming to office hour (you can email if the regular times don’t work) and doing the following:
- Arrive with a
**one-page study guide** to the content of the relevant badge. This should include definitions of the relevant terms, and examples and non-examples, as well as a list of tricky confusions and their resolutions. You have freedom of design, but I want to see a solid effort to master and present the material, **not a scribbled summary**. (You can write it by hand if you can produce something as tidy and organized as LaTeX.)
- In office hour, after discussing the study guide and any clarifications needed, I will assign you a tricky badges problem, and you will solve it on the board or at the desk in front of me.
- If you do these things well, you will earn your missing badge.

**Over the weekend, please:**

- Late addition: you can now find notes and video of my introduction to induction.
- Read about Induction in Hammack, pages 154-164. Read actively, as always.
- There are lots of induction exercises in Hammack, Chapter 10 (page 169-171). The answers to odd ones are in the back of the book. Please do as many of these as you need to feel you are mastering the skill. For example, 1, 3, 5, 13, 17.
- Recall our group work theorem:
*The complete graph on n vertices has (1/2)*n*(n-1) edges*. Write a nice proof by induction for yourself (it is possible your group did this; if so, write it for yourself again, without reference to your groupwork — the purpose of any exercise is the engagement with the process).
- Study for
**Monday’s badges quiz** as needed. It will include all the Logic and Proofs badges. In particular, Proofs III is setting up a proof by induction — we’ll practice in class on Monday.
- Note: this is potentially a decent amount of work. Do several hours over the weekend and if you don’t finish all this, come back to it during the week to finish.
- Look ahead: We’ll have a proof by induction on our next Friday quiz. During the week we will spend more time on induction, and possibly some other topics.
- A few induction-related webcomics: here and here.

## Professor Katherine Stange, Spring 2018