This is the source repository for "PLP - An introduction to mathematical proof" a free web- and pdf- textbook for a first undergraduate course in mathematical proof. You can find the book (as both html and pdf) and slides on the main textbook website.
It is written by Seckin Demirbas & Andrew Rechnitzer. A very large fraction of the exercises and solutions were contributed by Hannah Kohut and Charlotte Trainor with funding from UBC's OER fund and also the Mathematics Department.
The text grew out of our lecture notes for Mathematics 220 at UBC. Those notes were written in LaTeX but as we started to transform them into this text we translated them into PreTeXt. Many thanks to Rob Beezer and the pretext community for all their help along the way.
The repository contains sources for the textbook and also lecture slides. The slides should be considered ancillary materials and were used to produce short online videos for Mathematics 220 at UBC.
We have also added worksheets used to teach a 13 week course from PLP.
The sources for both the book and lecture are written in PreTeXt.
- The book can be compiled into multiple different formats using the pretext-cli.
- The slides compile to reveal.js html presentations, which, in turn, can be rendered as PDFs using tools such as decktape.
Build instructions for the book and slides can be found in the relevant subdirectories.
The worksheets are written standard latex and can be compiled using (for example) pdflatex.
- Requires an up to date
pythoninstallation. - See instructions at the pretext-cli repository
- The slides compile so that no reveal.js installation is required.