Docs
Course MissiveCollaboration Policy
Proof Tips (from MIT's 6.042)
Set Identities
Logical Equivalences
Counting Worksheet
Counting Worksheet Solutions
Probability Notes
Notes Part INotes Part II
Notes Part III
Notes Part IV
Sample Proofs
CounterexampleCases
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 1Example 2
Example 3
Example 4
Logisim
Follow the instructions on the following page to install Logisim on your personal computer.
Install LogisimLaTeX
LaTeX Homework TemplateTo 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
