# Interactive Web Pages

## Mark R. Snavely

This site contains interactive web pages designed to help you learn mathematics. You should try to
do the problems yourself, and use the information on the webpage to check your work or to get a hint if you need one. All are welcome
to use this site, but please give credit where credit is due.

Discrete Structures

Real Analysis

## Discrete Structures

### Logic Proofs

Supply the Rule 1 (rules 1-9 only)

Supply the Rule 2 (all 19 rules)

Write a Logic Proof (all 19 rules)

Write a Logic Proof (all 19 rules - an example from the the notes done two different ways)

Write a Logic Proof (all 19 rules)

Write a Logic Proof (all 19 rules)

Write a Logic Proof (all 19 rules - a false statement can imply anything!)

Write a Logic Proof (uses conditional proof))

Write a Logic Proof (uses conditional proof))

### Induction Proofs

First Induction Proof Audio Commentary (needs Internet Explorer, Google Chrome, or Safari)

Induction Proof of an Equality

An Inequality

Untitled Document
### Set Theory Proofs

DeMorgan's Law

### Induction Proofs

First Induction Proof Audio Commentary (needs Internet Explorer, Google Chrome, or Safari)

Induction Proof of an Equality

An Inequality

Untitled Document
### Set Theory Proofs

DeMorgan's Law

### Sequence Convergence

A Worked Example

Sequence Convergence Proof 1

Sequence Convergence Proof 2

Sequence Convergence Proof 3

Sequence Convergence Proof Using CoS

Sequence Convergence Proof Using Monotone Convergence Theorem

Final Exam Review