Introduction to Proof, Spring 2026

Class essentials

• Course syllabus
• Daily topics
• Overleaf starter template
• LaTeX tips and best practices
• Gradescope (click "Log in," then "School Credentials")

Resources and links

• Canvas (will be used very sparingly, if at all)
• ChatGPT You will need a free account
• Detexify. See how to write symbols in LaTeX
• Unicodeit Useful for writing math symbols in emails.
• Citing AI responsibly, guide from the Clemson Libraries

Free textbooks and lecture notes

• Book of Proof, by Richard Hammmick (VCU)
• Introduction to Proof via Inquiry-Based Learning, by Dana Ernst (Northern Arizona)
• Mathematical Reasoning: Writing and Proof, by Ted Sundstrom (Grand Valley State)
• PLP: An introduction to mathematical proof, by Seçkin Demirbaş and Andrew Rechnitzer (UBC)
• A Gentle Introduction to the Art of Mathematics, by Joseph E. Fields, (Southern Connecticut State)
• Spiral Workbook for Discrete Mathematics, by Harris Kwong (SUNY Fredonia)
• Proofs and Concepts: The Fundamentals of Abstract Mathematics, by Dave Witte Morris and Joy Morris (Lethbridge)
• Transition to Higher Mathematics: Structure and Proof, by Bob A Dumas (Washington) and John E McCarthy (Wash U)
• Lecture notes from other Math 3190 instructors: Michael Burr, and Jim Coykendall.

Homework

• HW 0: pdf | tex Topics: Academic policies, LaTeX typesetting. Due Monday, January 12, 2026.
  
• HW 1: pdf | tex Topics: Introduction to proofs. Due Monday, January 19, 2026.
  
• HW 2: pdf | tex Topics: Contrapositive and contradiction. Due Monday, January 26, 2026.
  
• HW 3: pdf | tex Topics: Proofs of uniqueness, bidirectional statements. Due Monday, February 2, 2026.
  
• HW 4: pdf | tex Topics: Induction, strong induction, truth tables. Due Monday, February 9, 2026.