Home  - HomeschoolMath.net
Fun & engaging math practice. Use promo code '9' - only $49.95 (normally $99)!  

Maria's Math news - a FREE math newsletter for parents and teachers

starMay 2013

Subscribe below:

Google+ Latest from my blog
This is where you'll find the latest happenings, news, & ideas in math teaching

Math teaching videos
My videos at YouTube show you how to teach concepts.
How to help students with multiplication tables?


Worksheets
Various worksheets on TONS of math topics you can generate for free!

Basic operations worksheet generator is updated! Make worksheets for whole numbers or integers - all four operations, including add & subtract or multiply & divide - horizontal or vertical - add a border and/or extra workspace, use a variable, and more.

Curriculum
Advice, reviews, and resources to help you choose a math curriculum!

Online math games, tutorials, and activities
Games you can play online, interactive tutorials, fun math websites and more. Arranged by topic/level for ease of use.

Lessons
Learn how to TEACH concepts or about general concerns in math education.

Reviews
In-depth reviews of math products

Math help & tutoring
A list of free message boards, math help websites, and online tutoring services.

Fun and games
I have two games on my site, plus links to many.
Game: Choose Math Operation
Word guess game (easy hangman)
Word guess game (difficult)


You are here: HomeOnline resources → Logic & proof

Logic and proof: online resources

IXL math practice

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.
faculty.madisoncollege.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

Hooda Math

Free math worksheets and practice - Adapted Mind

Free online math games and more - www.mathnook.com


New! Times Tales is now on DVD!

The fast, FUN, and easy way to learn multiplication. Learn the upper times tales in two sittings using mnemonic stories.
 
A FREE gift!      Homeschool links      Educational links      My favorite MUSIC!

Copyright 2003-2013 Maria Miller
About     Privacy policy     Contact     Advertise