This book focuses on writing precise mathematical proofs and is accompanied by code in the Lean formalization language. Aimed at the early university level, specifically for Math 2001 at Fordham University, the book covers topics such as proofs by calculation, proofs with structure, parity and divisibility, logic, induction, number theory, functions, sets, and relations. The content includes tips and tricks, shortcuts, and explanations on various mathematical concepts. Readers can access the code on the GitHub repository and contact author Heather Macbeth for feedback and corrections. The book provides a comprehensive guide to developing strong mathematical proof-writing skills.
Controversial information: There is no controversial information in the content provided.
Surprising, unique, or clever content: The book includes code in the Lean formalization language, providing a unique hands-on approach to learning mathematical proof-writing skills.
https://hrmacbeth.github.io/math2001/index.html