Welcome to Math 4803-HEH: Foundations of Mathematical Proof (Fall 2012) with Prof. Heitsch!
. . . . . . . . .
Times & Places Lectures are in Skiles 168 on Mondays and Wednesdays from 4:35 - 5:55pm.
Office hours are scheduled for Friday from 4:30 - 5:30pm, and Monday/Wednesday from 4 - 4:30pm and 6 - 6:30pm 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 August 20th: Course Syllabus and The Secrets of Student Success.
ICA 1 is posted below, and solutions (group or individual) will be accepted on Wednesday, August 22nd.
Extra office hours on Friday, August 24th from 3:30 - 5:30pm.
The first hourly exam will be on Wednesday, Sept. 12th. It will cover Chapters 2 (2.1 - 2.10), 3 (3.1 - 3.4), 4 (4.4 - 4.6), and 5 (5.1 - 5.5).
Extra office hours on Thurs, Sept 6th from 3 - 5pm and Monday, Sept 10 from 2 - 4pm.
No office hours on Friday, Sept 7, after class on Monday, Sept 10, or before class on Wednesday, Sept 12.
Class on Monday, Sept 12 will be review (question and answer) for the first hourly exam.
Office hours on Monday, Sept 10, have been rescheduled for Tuesday, 3:30 - 5:30.
No office hours on Friday, Sept 21. Additional office hours on Monday, Sept 24, from 3 - 4pm.
The second hourly exam will be on Wednesday, Oct. 10th. New material for this exam is Chapter 8 (Equivalence Relations), the notes below on Partial Orders, and Chapter 9 (Functions).
The third hourly exam will be on Wednesday, Nov. 7th. New material for this exam is Chapter 13 (Proofs in Group Theory), including sections 8.6 (The Integers Modulo n) and 9.7 (Permutations), and Chapter 6 (Mathematical Induction).
Important Spring 2013 registration information: If you are planning to register for Math 4107, Math 4317, Math 4150, or Math 4347 using Math 4803-HEH to fulfill the Math 2406 prerequisite (see "fine print" above), you will need to email Dr. Enid Steinbart, the SoM Director of Advising and Assessment. The registration system does not have the necessary information; instead she will authorize a prereq override for you.
Homework Homework 0, due on Wednesday, Aug 22nd.
Homework 1, due on Wednesday, Aug 29th.
Homework 2 (with corrections), due on Wednesday, Sept 5th. Some notes on logical equivalences.
Homework 3, due on Wednesday, Sept 26th.
Homework 4, due on Wednesday, Oct. 3rd. Check T-Square forum for clarifications/corrections.
Homework 5, due on Wednesday, Oct. 24th.
Homework 6, due on Wednesday, Oct. 31st.
Homework 7, due on MONDAY, Nov. 19th. Typo in #10(c): it should be "t \leq - s_0" not "t \leq s_0."
Homework 8, due on WEDNESDAY, Nov. 28th. Typo in #5: There are three parts, not just two. (Actually, it was supposed to be #5 and #6 (a), (b) but there's a missing latex \item.)
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 Aug 20 Basic logic 2.1 - 2.6 pg 57 - 65: 2.8, 2.10, 2.12, 2.14, 2.16, 2.22.ICA 1
Aug 22 2.7 - 2.11 pg 57 - 65: 2.2, 2.4, 2.6, 2.18, 2.20, 2.24, 2.36, 2.40, 2.42, 2.46, 2.48.ICA 2Review 1.1- 1.3 if needed.
2 Aug 27 Proof forms 3.2, 3.3, (4.1, 4.2,) 5.2, 5.3.pg 83 - 86: 3.7, 3.9, 3.13. pg 124 - 127: 5.25, 5.27.ICA 3
Aug 29 4.4, 4.5, 4.6.pg 101 - 106: 4.27, 4.29, 4.31, 4.33, 4.35, 4.37, 4.39.Review 1.4- 1.6 if needed.
3Sept 3Labor Day!
Sept 5Proofs cont. 3.1, 3.4, 5.1, 5.4, 5.5.pg 83 - 86: 3.1, 3.19, 3.21, 3.23. pg 124 - 127: 5.3, 5.5, 5.29, 5.35.ICA 4
4Sept 10Review
Sept 12Exam
5Sept 17Relations8.1, 8.2, 8.3 (4.1, 4.2)pg 192 - 193: 8.5, 8.7, 8.9, 8.13; pg 101 - 104: 4.1, 4.5, 4.11, 4.15, 4.17.ICA 5Review Chapt. 1 if needed.
Sept 198.3, 8.4, 8.5 (4.1, 4.2)pg 192 - 193: 8.15, 8.17, 8.19, 8.21, 8.23, 8.25, 8.28, 8.31, 8.25. pg 101 - 104: 4.11, 4.17.ICA 6
6Sept 24Relations cont.Partial OrdersWork through all ICA problems for practice.ICA 7Lexicographic order will not be emphasized.
Sept 26ICA 8
7Oct 1Functions9.1, 9.3 - 9.5pg 213 - 216: 9.2, 9.3, 9.5, 9.11, 9.12, 9.13, 9.17, 9.20, 9.21, 9.26, 9.27, 9.31.ICA 9
Oct 39.2, 9.6pg 213 - 216: 9.32, 9.33, 9.35, 9.36.ICA 10
8Oct 8Review
Oct 10Exam
9Oct 15Fall Break!
Oct 17Groups 8.6, 9.7, 13.1, 13.2, 13.3pg 195: 8.37 - 8.40. pg 216: 9.38, 9.39. pg 317 -319: 13.1, 13.2 (Which are groups? Abelian?), 13.4, 13.5, 13.6, 13.7, 13.8, 13.9, 13.11, 13.12, 13.13.ICA 11
10Oct 22Groups cont.13.5, 13.6pg 319 - 320: 13.22, 13.31, 13.33.ICA 12
Oct 24Work through all ICA problems for practice.ICA 13
11Oct 29Review of groups
Oct 31Induction6.1, 6.2, 6.4ICA 14
12Nov 5Induction cont.
Nov 7Exam
13Nov 12Groups revisited
Nov 14Properties of real numbers
14Nov 19Limits of sequences12.1
Nov 21LaTeX
15Nov 26Limits of sequences cont.
Nov 27ICA 15
16Dec 5EC Assignment
Dec 7Review 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.
Logic
Propositional Equivalences
Predicates and Quantifiers
Solutions to Odd-Numbered Exercises (1.1 - 1.3)

C. E. Heitsch
Fall 2012