Welcome to Math 4803-HEH: Foundations of Mathematical Proof (Spring 2013) with Prof. Heitsch!
. . . . . . . . .
Times & Places Lectures are in Skiles 254 on Mondays and Wednesdays from 4:35 - 5:55pm.
Office hours are scheduled for Tuesday from 3:30 - 4:30 and Friday from 1:30 - 2:30 in Skiles 211B. (Meeting at other times is possible by appointment.)
Announcements 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 7th: Course Syllabus and The Secrets of Student Success.
No office hours on Friday, Jan 18th.
Exam 1 will be on Wednesday, Jan 30th.
Exam 2 will be on Wednesday, Feb 270th.
No office hours on Tuesday, March 5th.
Office hours on Friday, March 8th will be from 12 - 1pm, instead of the usual 1:30 - 2:30.
Office hours on Friday, March 15th will be from 12 - 1pm, instead of the usual 1:30 - 2:30.
Exam 3 will be on Wednesday, April 3rd.
Homework Homework 0, due on Wednesday, Jan 9th.
Homework 1, due on Wednesday, Jan 16th.
Homework 2, due on Wednesday, Jan 23rd.
Homework 3, due on Wednesday, Feb 13th.
Homework 4, due on Wednesday, Feb 20th.
Homework 5, due on Wednesday, March 13th.
Homework 6, due on Wednesday, March 27th.
Homework 7, due on Wednesday, April 17th. (REVISED Homework 7 without typos.)
Homework 8, due on Wednesday, April 24th.
Practice Problems From the textbook (solutions for odd problems are in the back of the book):
Week Date Topics Sections Practice problems ICA Comments
1 Jan 7 Basic logic 2.1 - 2.6 pg 57 - 65: 2.8, 2.10, 2.12, 2.14, 2.16, 2.22.ICA 1
Jan 9 2.7 - 2.9 pg 57 - 65: 2.2, 2.36.ICA 2Review 1.1- 1.3 if needed.
2 Jan 14 Quantification2.10pg 57 - 65: 2.40, 2.42, 2.46, 2.48.ICA 3
Jan 16Proof forms3.2, 3.3, 4.1, 5.2, 5.3.pg 83 - 86: 3.7, 3.9, 3.13. pg 124 - 127: 5.25, 5.27.ICA 4
3Jan 21MLK Day!
Jan 23 Sets 4.4, 4.5, 4.6.pg 101 - 106: 4.27, 4.29, 4.31, 4.33, 4.35, 4.37, 4.39.ICA 5Review 1.4- 1.6 if needed.
4Jan 28Review
Jan 30Exam
5Feb 4Relations8.1, 8.2, (8.3, 8.4)Work through all ICA problems for practice.ICA 6Review Chapt. 1 as needed.
Feb 68.3, 8.4
6Feb 11Functions9.1, 9.3 - 9.5Work through all ICA problems for practice.ICA 7
Feb 139.2, 9.6
7Feb 18Functions cont.Solutions to In-Class HW 4 Problems
Feb 20Partial OrdersPartial OrdersWork through all ICA problems for practice.ICA 8Lexicographic order will not be emphasized.
8Feb 25Posets cont.Work through all ICA problems for practice.ICA 9
Feb 27Exam
9Mar 4Groups13.1, 13.2, 13.3, 13.6pg 317 -319: 13.1, 13.2 (Which are groups? Abelian?), 13.4 - 13.9, 13.11 - 13.13.ICA 10Review 8.6 and 9.7 as needed.
Mar 6Work through all ICA 10 and 11 problems for practice.ICA 11
10Mar 11Groups cont.13.5, 13.6pg 319 - 320: 13.22, 13.31, 13.33.ICA 12
Mar 13Work through all ICA 12 and 13 problems for practice.ICA 13
11Mar 18N/ASpring break!
Mar 20
12Mar 25Induction6.1, 6.2, 6.4Work through all ICA 14 problems for practice.ICA 14
Mar 27Work through all ICA 15 problems for practice.ICA 15
13Apr 1Review
Apr 3Exam
14Apr 8Properties of real numbersICA 16
Apr 10Limits of sequences12.1
15Apr 15Limits of sequences cont.ICA 17
Apr 17
16Apr 22ICA 18
Apr 24Review of limits
Links Check your grades on T-Square.
Students are expected to follow the Georgia Tech Academic Honor Code and Student Code of Conduct.
Additional Resources Instructions for Obtaining LaTeX.

C. E. Heitsch
Spring 2013