Subscribe to Homeschool Math Newsletter - filled with math teaching information

First name:

Email:

Logic and proof: online resources

Logic and proof

Introduction to Logic
A set of online tutorials for the study of elementary logic covering propositional and predicate calculus. Also an interactive Java applet with exercises.
logic.philosophy.ox.ac.uk/

An Elementary Introduction to Logic and Set Theory
An online tutorial including sentential logic, predicate logic and quantifiers, methods of proof, and naive set theory.
matcmadison.edu/alehnen/weblogic/logcont.htm

Logic for Mathematics by IMACS (Institute for Mathematics & Computer Science)
Choose "parents" or "students", then Mathematics & Logic from the submenu. This is an online course meant for mathematically precocious middle and high school students. This propositional calculus course introduces students to the propositional logic, a branch of modern mathematics which provides a rigorous mathematical analysis of the process of rational argument.
www.eimacs.com

Logic & Proofs course from Open Learning Initiative (OLI)
Part of a full course that includes predicate logic and has been taught at Carnegie Mellon University. Click on the link "LOOK inside the free and open OLI Logic & Proofs Course" to see the course material.
www.cmu.edu/oli/courses/logic/index.shtml

How to Write Proofs
A 12-part tutorial on proof writing. Includes direct proof, proof by contradiction, proof by contrapositive, mathematical induction, if and only if, and proof strategies.
zimmer.csufresno.edu/~larryc/proofs/proofs.html

Dc Proof
Free PC software for learning the fundamentals of logic and proof (for college or advanced high school students).
www.dcproof.com/

Logic Lorksheets
Easy logic puzzles for middle or high school.
www.edhelper.com/logic_puzzles.htm

Brain Teasers from Pedagonet
Neat little general brain teasers for kids to enhance problem solving abilities.
www.pedagonet.com/brain/brainers.html

Cut The Knot
A site full of games, puzzles, illustrations, charts, paradoxes, illusions, mathematical droodles - often illustrated with interactive Java applets. You can learn a lot!
www.cut-the-knot.org/

Online math tutors to help with math homework are available 24/7 at Tutor.com.

Online math resources menu
	Addition and subtraction Place value Clock Money Measuring	Multiplication Division Math facts practice The four operations Factoring and number theory Geometry
	Fractions Decimals Percent Integers Statistics, Graphs, and Probability	Geometry Algebra Calculus Trigonometry Logic and proof
	Problem solving & math projects For gifted children Math history	Math games and fun websites Sites with interactive math tutorials Math help & online tutoring Assessment, review, and test prep Online math curricula