Introduction to proof (Math 108), Spring 2016

MacQuarrie Hall 234, MW 10:30-11:45am (Sec. 01, code 20556)

Last update of this page: Sat May 14, 11:10pm

Announcements:

• Final exam: Tue May 24, 9:45am-noon, in our usual room.

• Events of finals week:

  Mon May 16	Last day of class: Presentations & free food; Last chance to revise PS07-09; PS11 due (especially if you want a chance to revise it)
  Tue May 17	PS11 graded and handed back (I'll be in MH324, 2-4pm and at the AS BBQ pit until 5pm, come find me)
  Fri May 20	Final exam review, MH320, 12:15-1:45; Last chance to revise PS10-11
  Tue May 24	Final exam, our usual room, 9:45-noon

• Note that we will be using new editions of two of our three required texts: Reading, Writing, and Proving, Ulrich Daepp and Pamela Gorkin, 2nd ed. (2011), and my proof notes (2016). Make sure you have the new (yellow and blue) version of Daepp and Gorkin and the newest version of the proof notes.

• Note that your 5 min homework problem presentations are graded on the quality of your lecturing, not the quality of your solution. (For example, you can still get a good grade even if you get stuck on the problem, as long as you know the definitions needed for the problem and didn't give up without trying.)

• As stated in class, we will have weekly check-ins. Every Friday, to get 1 HW point, you must either attend our 1-hour problem session from 11am-noon in MacQuarrie Hall 320, or ask me one non-trivial question (either publicly on Piazza, or privately by email) by 11:59pm. For details, see the handout on check-ins.

FUA (Frequently Used Acronyms):

Administrative handouts:

Course notes:

Notes on cardinality: Summary of cardinality, Irrational, transcendental, indescribable.

Topics for exams:

Sample exams:

Problem sets:

HW	Outline due	Due date	Last revision due	Exercises (not to be turned in)	Problems (to be turned in)
PS01a	n/a	Wed Feb 03	Mon Feb 22	n/a	See handout.
PS01b	n/a	Mon Feb 08	Mon Feb 22	n/a	See handout.
PS02	Wed Feb 10	Mon Feb 15	Mon Mar 21	6.2-6.5, 6.7-6.8, 6.10, 6.12-6.14; 7.3, 7.5.	See handout.
PS03	Wed Feb 17	Mon Feb 22	Mon Mar 21	8.3-8.5, 8.8-8.10; 9.2-9.5, 9.8-9.9.	See handout.
PS04	Wed Mar 02	Mon Mar 07	Mon Mar 21	10.1, 10.2, 10.4, 10.5, 10.7, 11.2, 11.6.	See handout.
PS05	Wed Mar 09	Mon Mar 14	Wed Apr 27	12.1, 12.4, 12.5, 12.6, 12.8, 12.9.	See handout.
PS06	Wed Mar 16	Mon Mar 21	Wed Apr 27	14.1, 14.2, 14.3, 14.4, 14.6, 14.9, 15.4, 15.5, 15.8, 15.9.	See handout.
PS07	Wed Apr 06	Mon Apr 11	Mon May 16	16.3, 16.5, 16.9, 17.1, 17.6.	See handout.
PS08	Wed Apr 13	Mon Apr 18	Mon May 16	18.3, 18.4, 18.5, 18.7, 19.2, 19.3, 19.4, 19.6.	See handout.
PS09	Wed Apr 20	Mon Apr 25	Mon May 16	19.7, 19.8, 19.9, 19.11, 19.12, 19.14, 20.1, 20.4, 20.5, 20.6, 20.10.	See handout.
PS10	Wed Apr 27	Mon May 09	TBA	21.4, 21.7, 21.12.	See handout.
PS11	Wed May 11	Mon May 16	TBA	22.4, 22.5, 23.1, 23.3, 23.5, 23.9.	See handout.

Reading assigned in course:

Course notes: Summary of cardinality, Irrational, transcendental, indescribable.

Writing Proofs: Sections 1-6, 7-8, 9-14, 15-19, 20, 21, 23.1, 24.

What Is the Name of This Book?: Ch. 3, 8.

Other useful links:

• If you're interested in typesetting math, the system I use to make my handouts is called LaTeX. If you have a Windows PC, you can download LaTeX for free at http://www.miktex.org; you will also need a good text editor, like the shareware program WinEdt. PCTeX also makes a good commercial version; student prices are $150 for the "Publisher" version, which I recommend if you have the money, $50 for the "Writer" version, which I recommend if you don't. If you own a Mac, you can download a complete system called TeXShop for free. If you own a Linux computer, you already own a copy of this program, as it's been a standard Unix program for about 20 years.

  LaTeX is well worth learning, if you have some free time; it's used for manuals and technical reports throughout nerd-dom. For self-study, I highly recommend Learning LaTeX (Griffiths and Higham) for beginners, and the LaTeX book by Leslie Lamport as a reference.

• Free downloads: Adobe Acrobat (for reading .pdf files)

• Instructor: Tim Hsu.
• Required texts: Reading, Writing, and Proving, Ulrich Daepp and Pamela Gorkin, 2nd ed. (2011); What Is the Name of This Book?, Raymond Smullyan; Writing Proofs, Hsu.
• Homework: Outline and final version due once each week, except in exam weeks. For details, see the handout on homework in Math 108.
• Exams: Three in-class 75-minute exams, plus 2 hour, 15 min final exam (Tue May 24, 9:45am-noon).
• Grading: Final course grades consist of:
  

  Homework:	20%
  Exam 1:	14%
  Exams 2 & 3:	18% each
  Final:	30%