Welcome to Math 2803-HEH: Foundations of Mathematical Proof (Spring 2015) with Prof. Heitsch!
. . . . . . . . . . . . . . . . . . . . .
Times & Places Lectures are MWF in CULC 423 from 10:05 - 10:55pm.
Office hours are scheduled for Mondays and Fridays from 11 - 11:30, and Wednesdays from 4 - 5 and Thursdays from 4:30 - 5:30 in Skiles 211B. (Meeting at other times is possible by appointment.)
FYI Information about Permits and Waitlists.
Some "fine print" regarding this course and Math 2406: Successful completion Math 4803-HEH will replace Math 2406 as the prerequisite for Math 4107, Math 4317, and Math 4150. Together with Math 4305, Math 4803-HEH will serve as a prerequisite for Math 4347. Math 4803-HEH can be substituted for Math 2406 in the BS MATH curriculum. Math 4803-HEH can be substituted for Math 2406 in the BS DMTH curriculum. Students will not receive graduation credit for both Math 4803-HEH and Math 2406. Math 4803-HEH does not count as an upper level Math Elective course in the BS MATH curriculum. For any further questions, concerns, or clarifications, please contact the School of Mathematics' Director of Advising and Assessment.
Handouts from January 5th: Course Syllabus, WeBWorK, The Secrets of Student Success, and Advice from previous FoMP students.
Practice problems are from the textbook; solutions for odd problems are in the back of the book.
Handout from January 16th: Elements of (Proof) Style.
WeBWorK Webwork 1 (accessed via T-Square), due on Wednesday, January 7th at 6:00am.
Webwork 2 due on Friday, January 9th at 6:00am.
Webwork 3 due on Wednesday, January 14th at 6:00am.
Webwork 4 due on Friday, January 16th at 6:00am.
Webwork 5 due on Wednesday, January 21st at 6:00am.
Webwork 6 due on Wednesday, February 4th at 6:00am.
Webwork 7 due on Friday, February 6th at 6:00am.
Webwork 8 due on Wednesday, February 11th at 6:00am.
Webwork 9 due on Wednesday, February 18th at 6:00am.
Webwork 10 due on Wednesday, March 4th at 6:00am.
Webwork 11 due on Wednesday, March 11th at 6:00am.
Webwork 12 due on Friday, April 10th at 6:00am.
Homework Homework 0, due on Friday, January 9th. List of problems in latex.
Homework 1, due on Friday, January 16th. List of problems in latex.
Homework 2, due on Friday, January 23rd. List of problems in latex.
Homework 3, due on Friday, February 13th. List of problems in latex.
Homework 4, due on Friday, February 20th. List of problems in latex.
Homework 5, due on Friday, March 13th. List of problems in latex.
Homework 6, due on Friday, March 27th. List of problems in latex.
Homework 7, due on WEDNESDAY, April 15th. List of problems in latex.
Homework 8, due on WEDNESDAY, April 22nd. List of problems in latex.
Schedule Sections and practice problems (aka "exercises") from the textbook (solutions for odd problems are in the back of the book):
Week Date Topics Sections Practice problems ICA Comments
1 Jan 5 Basic logic 2.1 - 2.4, 2.8 2.1, 2.2, 2.3, 2.11, 2.16, 2.17, 2.19, 2.21, 2.22, 2.25, 2.27ICA 1
Jan 7 2.6 - 2.9 2.35, 2.46, 2.47, 2.53, 2.60.ICA 2
Jan 9 ICA 3
2 Jan 12 Quantification2.5, 2.102.31, 2.33, 2.67, 2.73, 2.75, 2.79, 2.99Review 1.1- 1.3 if needed.
Jan 14Proof forms3.2, 3.3, 4.1, 5.2, 5.33.9, 3.11, 3.17, 4.1, 4.5, 3.21, 5.11, 5.13, 5.15, 5.17, 5.35, 5.37ICA 4
Jan 163.1, 3.4, 5.1, 5.4, 5.53.27, 3.29, 3.31, 5.3, 5.5, 5.49, 5.51ICA 5
3Jan 19MLK Day!
Jan 21 Sets 4.4, 4.5, 4.64.41, 4.47, 4.49, 4.51, 4.55, 4.65, 4.86, 4.88ICA 6Review 1.4- 1.6 if needed.
Jan 23ICA 7
4Jan 26ReviewChallenge problems
Jan 28Exam
Jan 30
5 Feb 2 Relations 8.1, 8.2 (8.3, 8.4) 8.1, 8.2, 8.4, 8.5, 8.10, 8.11, 8.13, 8.15, 8.17, 8.19, 8.23
Feb 4 8.3, 8.4 8.27, 8.29, 8.33, 8.37, 8.39ICA 8
Feb 6 8.5, 8.6 8.45, 8.49, 8.51, 8.59 ICA 9
6 Feb 12 Functions9.1, 9.3 - 9.59.1, 9.3, 9.5, 9.7, 9.11, 9.19, 9.23, 9.25, 9.27, 9.37, 9.39, 9.43, 9.45
Feb 149.2, 9.69.13, 9.15, 9.49, 9.53, 9.55, 9.57ICA 10
Feb 169.79.61, 9.62ICA 11
7Feb 16Partial OrdersPartial OrdersNumbers 1, 7, 9, 15, 17, 19, 25, 27, 35 from this list with solutions.
Feb 18 ICA 12
Feb 20ICA 13
8Feb 23ReviewChallenge problems
Feb 25Exam
Feb 27
9 Mar 2Groups13.1, 13.2, 13.4, 13.613.1, 13.3, 13.9, 13.11, 13.13
Mar 413.21, 13.23, 13.27, 13.29ICA 14
Mar 6ICA 15
10 Mar 9Groups cont.13.3, 13.513.15, 13.17, 13.19, 13.49, 13.51, 13.53
Mar 1113.31, 13.33, 13.35, 13.39, 13.43, 13.61, 13.63ICA 16
Mar 13ICA 17
11 Mar 23Induction6.1, 6.2, 6.3, 6.4
Mar 256.1, 6.3, 6.5, 6.9, 6.13, 6.19, 6.21, 6.23, 6.25, 6.27ICA 18
Mar 27ICA 19
12 Mar 30ReviewChallenge problems
Apr 1Exam
Apr 3
13Apr 6Basic properties of real numersChapt 1, Sec 3 (pg 13 - 19) of Ross. Chapt 2, Sec 1 and 2 (pg 15 - 23) of Rosenlicht.Ross pg 19 #3.1, Rosenlicht pg 30 #9, 10ICA 20
Apr 8The Completeness AxiomChapt 1, Sec 4 (pg 20 - 26) of Ross. Chapt 2, Sec 3 (pg 23 - 29) of Rosenlicht.Ross pg 26 - 28, #4.1, 4.2, 4.3, 4.4.ICA 21
Apr 10Limits of sequences12.1, Chapt 2, Sec 7 - 9 (pg 33 - 56) of Ross.12.3, 12.5, 12.7, 12.9, 12.11; Ross pg 45 - 45 #8.1, 8.7, pg 54 - 56, #9.5, 9.13ICA 22
14Apr 13Limits of sequences, cont.ICA 23
Apr 15
Apr 17More sequential limitsChapt 2, Sec 10 (pg 56 - 66) and Definition 11.1 (pg 66) of Sec 11 of Ross.ICA 24
15Apr 20More sequential limits cont.ICA 25
Apr 22ICA 26
Apr 24
Links Check your grades on T-Square.
Post on the course Piazza forum, available through T-Square.
Students are expected to follow the Georgia Tech Academic Honor Code and Student Code of Conduct.
Additional Resources Instructions for Obtaining LaTeX.
A Five minute guide to LaTex.
Use LaTeX for your assignments without installing it via writeLaTeX, ShareLaTeX, or TeXonWeb.

C. E. Heitsch
Spring 2015