Docs

Course Missive
Collaboration Policy
Proof Tips (from MIT's 6.042)

Set Identities
Logical Equivalences
Counting Worksheet
Counting Worksheet Solutions

Probability Notes

Notes Part I
Notes Part II
Notes Part III
Notes Part IV

Sample Proofs

Counterexample
Cases
Contradiction
Contraposition
Bidirectional
Bijective
Induction
More Induction
Strong Induction
Set Equivalence
Conditional Probability

Here are some examples of how one problem can be solved by several different proof methods.

Example 1
Example 2
Example 3
Example 4

Logisim

Follow the instructions on the following page to install Logisim on your personal computer.

Install Logisim

LaTeX

LaTeX Homework Template

To install LaTeX (prounounced la-tek) on your machine, select the appropriate link below, and follow the instructions.

Download LaTeX for Windows (MiKTeX)
Download LaTeX for Macs (MacTeX)

An awesome widget that gives the LaTeX symbol based on handwriting input:

Detexify^2 - LaTeX symbol classifier

For more information on using LaTeX:

A Not So Short Introduction to LaTeX2e
LaTeX Symbols
LaTeX Wikibook
Essential LaTeX
AOPS LaTeX