Math, M-242, Methods of Proof, Spring 2013
This site updated Feb. 5, 2013. www.math.montana.edu/courses/m242 (Oddly, it needs the "www" part.)
(The most recent update will be at the top above the first horizontal line.
Contact information and course policies are here. )

HW due Wednesday, Feb. 13: (2.2 [sic]) B43, 44, 65, 66, 77-80, 87, 89, (2.3) B121

HW due Friday Feb. 15:   (2.4)  A2, 10, 12, 16, 18, 19, B1, 2, 12, 14, 15

HW due Monday, Feb. 18:  (2.5)  A1, 3, B1, 2, 14, 17, 18

HW due Wednesday, Feb. 20:  Review for the exam by doing and handing in the previous version of Exam 2 (here) and coming to class with questions.

Exam 2, Friday, Feb. 22, on Chapters 1 and 2.  Memorize the Quadratic Theorem and the definitions related to bounded, increasing, even, and rational. Be sure you know the logic of quantifiers and negations, and the technical terms we have discussed (e.g. placeholder).

For Monday. Feb. 25, after the exam, read 3.1 and do: (3.1) A2, 5, 9.



Feb. 4
[HW for Wednesday, Feb. 6, revised below.]

Can Smart Machines do Your Job?
http://www.sci-tech-today.com/news/Can-Smart-Machines-Do-Your-Job-/story.xhtml?story_id=13200DRQLE20
January 25 this article came out. It begins by discussing a man who makes $67,000 a year whose job is being replaced by machines. It continues with a broader discussion of the economy and how many good jobs are disappearing.

A very similar article, "New technology is erasing many middle class jobs," was printed in the Bozeman Daily Chronicle Sunday, Jan. 27, 2013: http://tinyurl.com/az5v6ra
(The full URL is here:)
http://www.heraldtribune.com/article/20130123/ARCHIVES/301231035/-1/todayspaper?Title=New-technology-is-erasing-many-middle-class-jobs-By-BERNARD-CONDON-and-PAUL-WISEMAN-AP-Business-Writers


Frank and Ernest The converse and a counterexample in the comics!




For more "Frank & Ernest" cartoons, see http://www.gocomics.com/frankandernest


Jan. 30
NBC News says math and stat are good careers:
http://careers.msnbc.msn.com-iw3.net/finance/?dBcMxg

HW due Wednesday, Feb. 6
:  
(2.2, part 2) B1, 2, 3, 11, 18, 19, 25, 30, (2.3) [moved to Friday]  A1, 2, 3, 6, 13, B3

If you mean "there exists" do not omit saying it. For example, the negation of  "If |x| > 5, then x > 5"  is not "|x| > 5 and x ≤ 5."  It is "There exists x such that "|x| > 5 and x ≤ 5."   It is common to suppress "for all" when it is intended, but it is not okay to omit "there exists" when it is intended.

Suppose you are to give the negation of  "If ab = ac, then b = c."  It is not "ab = ac and b
≠ c."  The negation is "There exists a, b, and c such that ab = ac and b ≠ c."   Never omit "there exists" if you mean it!

HW due Friday, Feb. 8:  (2.2, part 3) B32, 33   (2.3)
A1, 2, 3, 6, 13, 15, 59, B1, 3, 11, 15, 25, 40

HW due Monday, Feb. 11:   (2.3)  B3, 7, 21 (2.4)  A1, 7, 12, 16, 18, 19, B1, 2, 10, 14, 16


Jan. 22
Are you getting what you should out of homework?  Read this short page.


Jan. 17
HW due Wednesday, Jan. 23:  (1.3, part 3) B2  (1.4, part 2) B1 (do a good job), 2, 6, 10  (1.5) A2, A10, 25
[One more problem] You have heard the phrase "cruel and unusual punishment." Where does it come from? How is the word "and" used in it, that is, which possible interpretation is intended?

    Each day read the entire section. One goal of the course is to have you learn to read mathematics well enough to lean math by reading it. Watching me and listening in class will help, but you learn to read by reading. If something is not clear after you read it, slowly and with intent, several times, ask!

HW due Friday, Jan 25: (1.5)  A6, 11, 15, 21, 27, 31,  B1, 2, 3, 8, 17 

HW due Monday, Jan. 28:  (1.5) B4 (1.6) A1-7, B1, 10, 15, 27, 29, 52   (2.1) A1, 3, 6, 9
    Learn the names of the results from logic (pages 86-88).

HW due Wednesday, Jan. 30:  (2.1) A10-11, 17, B1, 2, 3, 4, 5, 7, 17, C2

Here is a link to Exam 1 from last Fall.

Friday, Feb. 1: No HW due. Exam in class on Chapter 1

HW due Monday, Feb. 4:
(2.2, part 1) Read 2.2 yourself. Then do A1, 2, 3, 9, 17, 24


Jan.3
Read the course policies.

First day of class: Wednesday, Jan 9, 2013.  We will cover Section 1.1 and discuss the course.

For Friday, Jan. 11:  Read all of Section 1.1. Mathematics is a written language (much more than it is a spoken language). Therefore, this is a reading and writing course. You learn to read and write by reading and writing. Read the text thoroughly. Every section, learn the meaning of the terms listed at the end of the section's conclusion (just above the "Exercises." If you don't recall where a term was introduced in the text, use the index at the back to look it up). For this section, hand in written homework at the beginning of class Friday:
    Bring your text to class every day. We will use it in class every day.
HW Due Friday, Jan 11: (1.1) A2, 3, 4, 7, 9, 11, B1, 2, 5, 7, 8, 12, 14, 23, 26, 29. 
    Label your homework with your name at the very top of the page and the section number (e.g. "1.1") of the homework just below it.
Also for Friday, read:  "Is the internet making us stupid?"  
  http://www.npr.org/templates/story/story.php?storyId=91543814
    (Really, it is short, so read it!)  
The original article, "Is Google making us stupid?", in The Atlantic magazine is not short (I don't expect you to read it, but I did):
  http://www.theatlantic.com/doc/200807/google  
It provoked quite a buzz, so search on the title will get many hits.  

Additional comments:  Do you multitask well?  Here is a summary of some surprising research on multitasking.

    The first day in class you will get a handout listing some special emphases of this course. Here is a link to a copy in HTML (here is a pdf copy.)

This web site will be updated frequently. Upcoming HW will be listed, quiz and exam dates will be posted, mathematical advice will be posted, and homework listed as due in the future might be modified or postponed if it will improve the class.
Due Monday, Jan 14:  Section 1.2:  A1, 6 (both parts!), 11, 25, 29, B1, 5.

In this course you will learn how to learn math by reading it. One way we teach you to read is to require you to do it. You learn to read by reading. Therefore, many days there will be homework due on material we have not yet covered in class. You will read the section and learn how to answer the questions. Then the following lecture will clarify any remaining issues.

If you have tried, but are still uncertain about a problem, on your HW put a big question mark, ?, in the margin. Also, put the problem number on the side chalk board before class and I will try to make sure it is covered in class. If it is not covered in class, when I mark papers I will note those problems and possibly devote time during the next class to them.

Due Wednesday, Jan. 16:  (1.2, part 2): B3, 4, 18, 21, 22, 26, 42, (1.3) A1, 6, 11, 14, 18.

Be sure you can pronounce all the mathematical expressions and grasp all the "grammar" exercises. Little typographical differences can make a big difference in the referent (the thing being named or referred to). For example, there is a major difference between a and A and a major difference between (, [, and {.

Mathematics is a written language. To get good at math, you must read it. Read!
If you are coming to class and feel yourself slipping even the slightest bit behind, please come see me in the office. I want to help!
Fortunately, we will use the language of mathematics every day and we never drop any topic, so you will see every usage and hear every pronunciation again and again. Pay attention and notice what is giving you trouble. Let me know and I will help.

Friday there will be a quiz. Here is a similar quiz for study purposes. 

HW due Friday, Jan. 18:  (1.3, part 2) B1  (1.4) A1-4, 6, B17.
    Quiz Friday Jan. 18 on 1.1-1.3.  Know the terms.
 

HW due Wednesday, Jan. 23
(1.3, part 3) B2  (1.4, part 2) B1 (do a good job), 2, 6, 10  (1.5) A2, A10, 25  [One more problem] You have heard the phrase "cruel and unusual punishment." Where does it come from? How is the word "and" used in it, that is, which possible interpretation is intended?

[To be continued at the top of this page.]





Course policies for Methods of Proof, M-242,
at Montana State University.

Time and Room:  10:00-10:50 am, MWF, in Wilson 1-139 (Spring 2013)

GoalsYou will learn to read, write, and think like an advanced mathematician. You will learn to read symbolic mathematics with comprehension, express mathematical thoughts clearly, reason logically, recognize and employ common patterns of mathematical thought, and read and write proofs.

Instructor:  Dr. Warren Esty, 994-5354, Wilson 2-238 (East wing, South wall).  westy at math dot montana dot edu  Phone calls and e-mails are both fine. Appointments are easier to arrange on the phone.
Office hours
:  I love the material and am happy to help.
Mondays and Fridays:  9:00-9:50 MWF and many other hours. You are more than welcome whenever I am in the office. If you want to arrange to meet some other hour, just ask in class, call (994-5354), or drop in. 

Required textProof: Introduction to Higher Mathematics, fifth edition, available at the bookstore, by Warren W. Esty and Norah C. Esty.
    This course has almost nothing to do with calculation, so no calculator is required. 
    Bring your text to class every day. We will use it in class.

Course Content:  We will proceed straight through the text, covering every section through Chapter 5.
Chapter 1:  Preview of proof, sets, logic for mathematics (including truth tables and important logical equivalences that provide alternative forms). 
Chapter 2: generalizations, existence statements, negations, reading symbolic mathematics with full comprehension, logical form and deduction, and practice with alternative forms in the context of rational and irrational numbers. 
Chapter 3:  Proof of theorems about inequalities and absolute values, theory of proofs, proofs by contradiction or contrapositive, proofs by mathematical induction, and common types of mistakes in proofs. 
    Chapters 1 through 3 complete the theory. The rest of the course provides practice in several content areas of mathematics.
Chapter 4 is Set Theory including bounds and suprema.
Chapter 5 is about the concepts of one-to-one and onto, functions applied to sets, and cardinality.
    We will cover through Chapter 5.

Prerequisite:  Math 182 (two semesters of calculus). The mathematical sophistication provided by additional mathematics such as Math 221 (Matrix Theory) and Math 224 (Calculus of Functions of Several Variables) would be very welcome, but the material covered in those courses is not a prerequisite. In fact, the material in Calculus is not a prerequisite either--we just want you to have read a lot of mathematics.
    This course is primarily for students who wish to be math teachers or math majors, and others, such as computer science students, who need to grasp proof. It is a through discussion of the most important types of thought processes in mathematics.

I will:

  • Have passion for the material
  • Enjoy the class
  • Give you your work back promptly
  • Give you lots of helpful criticism and feedback on your work
  • Listen and respond to your concerns
  • Realize that students have a life outside of class and not make unreasonable demands on you
  • Take questions seriously 
  • Help outside class if you are trying hard and want help

You will:

  • Enjoy the class 
  • Appreciate learning during class time
  • Read all the material in the text outside class
  • Do the homework--almost always on time  
  • Show up for (almost) every class, be on time, and be prepared
  • Try hard to get good at math 
  • Ask for help when trying isn't working
  • Observe proper etiquette
Etiquette. Proper etiquette is required. During class, students will not engage in any potentially distracting behavior such as reading a newspaper, text-messaging, or whispering about non-math subjects. Cell phones must be turned off and unavailable. Pagers or watches that make a sound, however quietly, must have the sound off. No type of earphones is allowed.

Attendance:  Attendance every day is expected. More than a couple unexcused absences is unacceptable. Of course, excuses for academic reasons, illness, participation in university sporting events, and significant life events will be accepted. Every day in class you will learn about common mistakes and how to avoid them. It is not possible to recognize your own errors in logic, so you must take every opportunity to see deceptive errors in reasoning explained and to get feedback about your own and your classmates errors in reasoning. Students who miss a day are missing a significant lesson that cannot easily be recovered from the text alone.
   If you miss a day, I will not be able to recreate the class experience for you. Find a friend who can help you catch up, read the text thoroughly, and then I will be glad to help you with specific questions

Cheating:  I give you permission to work on homework jointly with others in the class. In fact, I encourage you to work with others because math is a language and learning to communicate in the language helps meet the goals of this course. In this course, learning by working with others is not cheating. However, you must hand in your own work and copying someone else's work to get the homework done is unacceptable. The purpose of homework is not "to get it done," rather, "to learn how to do it."  If your homework results in learning, that is all I can ask of it.
    In contrast, exams must be entirely your own work.

Homework.  There will be homework due almost every day. It is important that it be attempted on time. The work you hand in need not be all correct, but it must display serious effort. More than a few late homeworks is not acceptable. I will give you important and useful feedback on all the HW you do on time.
    You may work on homework with other current students. You are even encouraged to work with others. You may ask previous students about individual problems. But obtaining work from others and presenting it as your own is unethical and forbidden.
    You are expected to work, on average, about two hours outside class for each class hour.
    You must read the assigned sections. Learning to read math with full comprehension is one of your goals, and you learn to read by reading. Reading is part of those two hours.
    Bring your text to class every day. We will use it in class regularly.
 
Exams and Grading.  There will be unit exams, frequent quizzes, regular homework, class participation, and a comprehensive final. 
   To receive full credit, daily homework must be handed in on time. Homework handed in late will receive three-fourths credit.
Exam dates will be announced on this site.
Homework and its due dates will be announced on this site.
Your course letter grade will be based primarily on exams and quizzes. Homework is necessary. Not regularly handing in the homework, or handing in work that displays little appropriate effort, will lower your letter grade. However, homework is intended to help you learn and its impact on your grade is primarily that it serves as evidence of your attempt to learn. Getting a few problems wrong or incomplete will not lower your grade if you display appropriate effort. I want to help if you have difficulties.
The final exam is 8:00 - 9:50 April 30 (Tuesday of exam week), as in the MSU schedule. Arrange your summer schedule so you can take the final at the scheduled time.
(You can find final exam times for other classes at:
http://www.montana.edu/registrar/exams/ )
 
Conflicts.  You are required to take all exams and the final exam at the scheduled hours (unless you have another exam or class scheduled at that hour, in which case we will make arrangements). Any exceptions must be approved well in advance, and in no case will exceptions be made for two exams.

Attitude.  Some students think math is merely a list of procedures--a succession of algorithms for "how to do" things. Proof is a major part of mathematics that is not at all like that conception of mathematics. So, you may need to change your attitude about what math really is. It is hard for anyone to change their attitude about anything, so this part may be difficult for you.
    Mathematics is a written language (much more so than a spoken one). One goal is to have you learn to read with comprehension. Then you will be able to grasp what mathematical sentences really say (They probably say more than you think!) and learn without relying on the teacher. How can we help you reach this goal?  By making you read and work with material even before there is a lecture on it. You learn to read by reading. So, expect to learn by reading. Lectures will clarify things, but not always introduce things.

Success.  Higher mathematics requires a significantly different way of thinking. There is a much greater focus on the truth, or falsehood, of statements and connections between facts. There is much less focus on algorithms (methods for doing problems).  
    Here is advice about how to learn math.

Read each section. Do not skip the harder parts. In fact, when the going gets rough you need to slow down and read it several times until it makes sense. If it remains unclear, ask me! 

This is hard!  But, you will be learning an extremely valuable skill.
Don't skim.
Don't expect that only high points are important (Don't read only the bold parts).
Don't skip the rest of the paragraph because you want to move along to the next high point. 
Really do read the next paragraph in the text. Mathematics is a written language and you learn it by reading (and writing), not by listening in class.


Homework:   If something on your homework is wrong, I will mark it wrong at the place where it goes wrong. Please make sure you understand why. Do not treat your homework as just part of your grade. Treat it as an occasion to learn. Anything you got wrong must be looked at again and studied much harder than anything you easily got right. Some things are easy. It is not much of an accomplishment if you can learn the easy stuff. Some things are harder. Put substantial effort into making sure you understand the harder stuff too. 

This site will be updated frequently as the course progresses.

The end. Check for updates at the top of the page.