I hope everyone is having a great break! Please use break to catch up on anything you need, and plan ahead.
- 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).
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.
- 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.
- 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.
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.