Welcome to Math 2803-HEH: Foundations of Mathematical Proof (Fall 2014) with Prof. Heitsch!
. . . . . . . . . . . . . . . . . . . . .
Times & Places Lectures are MWF in CULC 129 from 10:05 - 10:55pm.
Office hours are scheduled for Mondays and Fridays from 11 - 12, and Wednesdays from 4 - 5 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 August 18th: Course Syllabus, WeBWorK, 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 August 27th: Elements of (Proof) Styles.
WeBWorK Webwork 1 (accessed via T-Square), due on Wednesday, August 20th at 6:00am.
Webwork 2 due on Friday, August 22nd at 6:00am.
Webwork 3 due on Monday, August 25th at 6:00am.
Webwork 4 due on Wednesday, August 27th at 6:00am.
Webwork 5 due on Wednesday, September 3rd at 6:00am.
Webwork 6 due on Wednesday, September 17th at 6:00am.
Webwork 7 due on Friday, September 19th at 6:00am.
Webwork 8 due on Wednesday, September 24th at 6:00am.
Webwork 9 due on Wednesday, October 1st at 6:00am.
Webwork 10 due on Friday, October 17th at 6:00am.
Webwork 11 due on Wednesday, October 22nd at 6:00am.
Webwork 12 due on Wednesday, November 19th at 6:00am.
Homework Homework 0, due on Friday, August 22nd.
Homework 1, due on Friday, August 29nd.
Homework 2, due on Friday, September 5th. List of problems in latex.
Homework 3, due on Friday, September 26th. List of problems in latex.
Homework 4, due on Friday, October 3rd. List of problems in latex.
Homework 5, due on Friday, October 24th. List of problems in latex.
Homework 6, due on Friday, October 31st. List of problems in latex.
Homework 7, due on Friday, November 21st. List of problems in latex.
Homework 8, due on Wednesday, December 3rd. 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 Aug 18 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
Aug 20 2.6 - 2.9 2.35, 2.46, 2.47, 2.53, 2.60.ICA 2
Aug 22 ICA 3Review 1.1- 1.3 if needed.
2 Aug 25 Quantification2.5, 2.102.31, 2.33, 2.67, 2.73, 2.75, 2.79, 2.99ICA 4
Aug 27Proof 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.37
Aug 293.1, 3.4, 5.1, 5.4, 5.53.27, 3.29, 3.31, 5.3, 5.5, 5.49, 5.51ICA 4 (reprised)
3Sept 1Labor Day!
Sept 3 Sets 4.4, 4.5, 4.64.41, 4.47, 4.49, 4.51, 4.55, 4.65, 4.86, 4.88ICA 5Review 1.4- 1.6 if needed.
Sept 5ICA 6
4Sept 8ReviewICA 7
Sept 10Exam
Sept 12
5 Sept 15 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.23ICA 8
Sept 17 8.3, 8.4 8.27, 8.29, 8.33, 8.37, 8.39
Sept 19 8.5, 8.6 8.45, 8.49, 8.51, 8.59 ICA 9
6 Sept 22 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
Sept 249.2, 9.69.13, 9.15, 9.49, 9.53, 9.55, 9.57ICA 10
Sept 269.79.61, 9.62ICA 11
7Sept 29Partial OrdersPartial OrdersNumbers 1, 7, 9, 15, 17, 19, 25, 27, 35 from this list with solutions.
Oct 1 ICA 12
Oct 3ICA 13
8Oct 6ReviewChallenge problems
Oct 8Exam
Oct 10
9 Oct 13Fall break!
Oct 15Groups13.1, 13.2, 13.4, 13.613.1, 13.3, 13.9, 13.11, 13.13
Oct 1713.21, 13.23, 13.27, 13.29ICA 14
10 Oct 20Groups cont.13.3, 13.513.15, 13.17, 13.19, 13.49, 13.51, 13.53
Oct 2213.31, 13.33, 13.35, 13.39, 13.43, 13.61, 13.63ICA 15
Oct 24ICA 16
11 Oct 27Induction6.1, 6.2, 6.3, 6.4
Oct 296.1, 6.3, 6.5, 6.9, 6.13, 6.19, 6.21, 6.23, 6.25, 6.27ICA 17
Oct 31ICA 18
12 Nov 3ReviewChallenge problems
Nov 5Exam
Nov 7
13Nov 10Basic 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 19
Nov 12ICA 20
Nov 14The 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.
14Nov 17Limits 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.13
Nov 19ICA 21
Nov 21ICA 22
15Nov 24Limits of sequences cont.
Nov 26ICA 23
Nov 28Thanksgiving holiday!
16Dec 1Limits of sequences cont.Chapt 2, Sec 10 - 12 (pg 56 - 83) of Ross.ICA 24
Dec 3ICA 25
Dec 5Review
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
Fall 2014