This is a QR code. A QR Code is a 2-dimensional barcode, which has encoded in it a URL (web address), text, or other information. It can be read by a QR code scanner, including QR scanner smartphone apps. Once you have an app installed on your smartphone, open the app and hold your phone’s camera over a QR code to read it. Most QR codes you’ll come across have a URL encoded, so chances are when you read the QR code it will take you to a web page.
Reviewed by members of Editorial board for inclusion in MERLOT.
Very good quality; in queue to be peer reviewed
Click to get more information on the MERLOT Editors' Choice Award in a new window.
Click to get more information on the MERLOT Classics Award in a new window.
Click to get more information on the MERLOT JOLT Award in a new window.
Search all MERLOT
Click here to go to your profile
Select to go to your workspace
Click here to go to your Dashboard Report
Click here to go to your Content Builder
Click here to log out
Search Terms
Enter username
Enter password
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
cancel help

MERLOT II


        

Material Detail


Proof Designer

QR Code for this Page
Bookmark and Share
 
Location:
Material Type: Simulation
Technical Format: Java Applet
Date Added to MERLOT: February 10, 2003
Date Modified in MERLOT: November 11, 2010
[Report Broken Link]    [Report as Inappropriate]

Author: Daniel J. Velleman Send email to Daniel J. Velleman 
Amherst College
Submitter : Bernd Schroeder

Description:

Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary... More

Keywords:
Formal logic, Set theory, Proof structure

Browse in Categories:

Primary Audience: College General Ed
Mobile Compatibility: Not specified at this time
Technical Requirements: WINDOWS with Sun Java Plug-in or Macintosh
Language: English
Cost Involved: no Source Code Available: no
Accessiblity Information Available: no Copyright: yes
Creative Commons: unsure

About this material:



 

Discussion for Proof Designer

Log in to participate in the discussions or Register if you are not already a MERLOT member.

Return to Top of Page