What is a “proof”? Can an equality be a proof? How about a picture? What about a computer program that simply compiles? This course teaches the language of deductive reasoning, including basic mathematical vocabulary (sets, relations, functions, etc.) and the grammar of inference (logic, induction, etc.).

• Instructor:
    Mahrud Sayrafi <msayrafi2 at [unl]>
• Learning Assistant:
    TBD <TBD at [...]>
• (Optional) Textbook:
    Sundstrom, Mathematical Reasoning: Writing and Proof
• Supplementary (“bedtime”) reading:
  
  1. Aigner and Ziegler, Proofs from THE BOOK
  2. Hartnett, The Proof in the Code
  3. (More to come!)
• Prerequisites:
    Calculus II (MATH 107 or 107H)
• Canvas: official course outline, schedule, syllabus, etc.
• 👉 How to get an A in this class! 👈

Class	Schedule
MATH 309 (002)	MWF 12:30:PM - 01:20:PM @ Oldfather Hall 308

Fall 2025 Office Hours:

• Instructor: (all in Avery 302⅒)
  • TBD, please fill out https://www.when2meet.com/?38071498-X92cR
  • And by appointment.

Schedule

The topics are tentative and may be adjusted. The section numbers refer to sections in the textbook.

Date	Topic	Notes
August 24	Introduction	Diagnostic Quiz
August 26
August 28
August 31
September 2
September 4		Drop Deadline
September 7	No Class	Labor Day
September 9
September 11
September 14
September 16
September 18
September 21
September 23
September 25
September 28
September 30
October 2
October 5
October 7
October 9
October 12
October 14
October 16		Pass/No Pass Deadline
October 19	No Class	Fall Break
October 21
October 23
October 26
October 28
October 30
November 2
November 4
November 6
November 9
November 11
November 13		Withdraw Deadline
November 16
November 18
November 20
November 23
November 25	No Class	Student Holiday
November 27	No Class	Thanksgiving
November 30
December 2
December 4
December 7
December 9
December 11		Last Class
December 14–18	Final Exam	Time & Location: TBD