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

Real Analysis

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