OUR MATH FREEBIES
Formula sheets, review sheets, lecture slides, handouts and other goodness in higher mathematics!
Axiom Schemes in Machover's PropCal
A 2-page handout on the five axiom schemes in the propositional calculus PropCal (as defined in Machover's Set Theory, Logic and Their Limitations).
First-Order Logic in Standard Notation — Basics
A 8-page short meta-theoretical introduction to the language and the semantics of first-order logic, as presented in standard modern notation.
Bell & Machover's PropCal and its Structural Rules
A 9-page primer on the propositional calculus PropCal (as presented in Bell & Machover's A Course in Mathematical Logic), along with the associated 12 structural rules.
Biostatistics — Review Sheet with Formulas
Originally developed for McGill EPIB 507 (Biostats for Health Sciences), this 5-page review sheet covers — in bullet-point form — a wide range of topics and formulas from descriptive statistics, probability distributions, hypothesis testing, confidence interval, regression and non-parametric methods.