MATH 3040: Prove It!
(Spring 2020)
Class Assignments
Work on these assignments
on your own and have them ready by the beginning of class on the date listed. These will be graded on a pass/fail basis.
-
(01/24): Answer the three questions about the bridge standoff game, and bring two copies of your written answers to class.
-
(01/27): Prepare solutions to Exercises 3-5 (all parts) on the Numbers Sheet to discuss with your group, and be ready to submit your written answer to Exercise 4.3 in-class (on a separate sheet from your prepared solutions).
-
(01/29): Prepare solutions to Exercises 6 and 7 on the Numbers Sheet, with your solution to Exercise 6.8 on a separate sheet to submit.
-
(01/31): Prepare solutions to Exercise 8 on the Numbers Sheet and revise those of the previous exercises. In addition, answer the response questions, following the reading.
Here are
some answers and comments for the previous class assignments.
-
(02/03): Prepare solutions for Exercises 3-10 on the Logic Sheet. Read [TAP, §2.1] and use the Axioms of 2.1 to give a proof by contradiction for Prop. 2.3, which you will turn in.
-
(02/05): Prepare solutions up to Exercise 14 on the Logic Sheet. Find three distinct statements that are logically equivalent to "A only if B," aside from "(A and B) or (not A)" that we saw in class, and prepare them to turn in (with proofs, obviously). Read [TAP] §3.1-3.2, if you have not done so already.
-
(02/07): Prepare solutions to the remainder of the prompts on the logic sheet (and revise your previous solutions). Find proofs (e.g. via truth tables) of our basic logical inferences (a) "if P and (P => Q), then Q" and (b) "If (not Q) and (P => Q), then (not P)"; and have these proofs ready to turn in.
Here are
some answers and comments for the previous class assignments.
-
(02/10): Read [TAP] §3.3-3.4, §4.1-4.3. Answer the response questions and [TAP], Project 3.7 (p. 30). Prepare solutions to Exercises 2-4 on the Induction sheet. Turn in the class assignment from Friday.
-
(02/12): Feb. 12 class assignment
-
(02/14): Prepare solutions up to Exercise 8 on the Induction sheet. (For 6, look at [TAP], Thm. 2.17 if you get stuck. Can you translate their proof into one that only uses Peano's Postulates?) Submit your solution to Exercise 2.2.
Here are
some answers and comments for the previous assignments.
-
(02/17): Prepare solutions to the remainder of the prompts on the Induction sheet, and revise your previous solutions. Submit a proof of Exercise 6.
-
(02/19): Read [TAP], §5.1-5.2. Prepare solutions up to Exercise 8 on the Sets sheet. Submit a proof of Exercise 8 from the Induction sheet.
-
(02/21): Read [TAP], §5.3-5.4. Prepare solutions up to Exercise 14 on the Sets sheet. Submit your solutions to [TAP], Project 5.3 and 5.11.
-
(02/26): Read [TAP], §9.1. Prepare solutions up to Exercise 9 on the Functions and Cardinality Sheet. Submit a proof of Exercise 10 from the Sets sheet.
-
(02/28): Read [TAP], §13.1. Prepare solutions to the remainder of the problems on the Functions and Cardinality sheet. Submit a proof of Exercise 9.
Here are
some answers and comments for the previous assignments.
-
(03/02): Review for the first prelim and do the special class assignment.
-
(03/04): Take the following old prelim under exam conditions (e.g. 50 min. only, on paper, no access to resources, no interruptions, etc.) and bring your results to class to discuss with your group and classmates. Submit a proof of Theorem 10 from the Functions and Cardinality sheet.
-
(03/06): Bring a writing instrument and your "cheat sheet" (and your "A game"!) to the prelim!
Back to
MATH 3040 main page.
Back to
Brian Hwang's home page.