View on GitHub


A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course

Download this project as a .zip file Download this project as a tar.gz file

GIAM (a Gentle Introduction to the Art of Mathematics) is a free, open-source textbook -- the current version is 3.1. GIAM covers several topics in the foundations of mathematics (logic, sets, relations, functions and cardinality) and introduces the reader to many techniques of mathematical proof (direct, indirect, contradiction, contrapositive, mathematical induction, combinatorial proofs and magic). There are amusing quotations at the start of each chapter.

The text.

A very preliminary version in MBX.

The exercise workbook.

The hints and solutions manual.

Some links to reviews.

GIAM is licensed under the GNU Free Documentation License version 1.3

GIAM is typeset using PDFLaTeX. Figures were produced with XFiG. Photographs were modified using GIMP. The source code for GIAM is hosted at GitHub.

GIAM is now available in hardcopy as a printed-on-demand paperback from CreateSpace or Amazon. Please rest assured that GIAM will remain available for free download from this site.

There are alternative versions of GIAM available here.