Docs

Midterm Solutions

Midterm 1

Midterm 2

Probability Notes

Week 10 Part 1

Week 10 Part 2

Week 11

Week 12

Weak Law of Large Numbers

Recitation Notes

Sets, Functions, and Relations Solutions

Proof Techniques Solutions

Number Theory Solutions

Logic Solutions

Combinatorics Solutions

Midterm Review Solutions

Probability Solutions

Graphs Solutions

Final Review 1 Solutions

Final Review 2 Solutions

Notes

Graph Coloring

Set Identities from the book

Logical Equivalences from the book

Rules of Inference

Memory Circuits

Course Missive
Statements that may be used without proof

Sample Proofs

Counterexample
Cases
Contraposition
Contradiction
Bidirectional
Bijective
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