Connexions

Sections
You are here: Home » Content » Introduction to Proofs

About: Introduction to Proofs

Module by: Ian Barland

View content

Metadata

Name: Introduction to Proofs
ID: m10395
Language: English (en)
Summary: Logic provides a way to talk about truth and correctness in a rigourous way, so that we can prove things, rather than make intelligent guesses and just hope they are correct.
Subject: Mathematics and Statistics, Science and Technology
Keywords: introduction, proof, waterworld, waterworld rules
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License (CC-BY 1.0)
Authors: Ian Barland (ibarland@radford.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu)
Maintainers: Ian Barland (ibarland@radford.edu), Peggy Fidelman (peggy@rice.edu)
Version: 2.7 (history)
Created: Nov 13, 2001 12:00 am US/Central
Revised: May 24, 2005 9:12 pm GMT-5

Version History

Version: 2.7 May 24, 2005 9:12 pm GMT-5 by Charlet Reedstrom
Changes: 
update to cnxml-0.5
Version: 2.6 Jul 22, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
no changes
Version: 2.5 Jul 4, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
change the version from 0.3.5 to 0.4.
Liqun
Version: 2.4 Jun 28, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.3 Jun 24, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added peggy as maintainer
Version: 2.2 Nov 21, 2001 12:00 am US/Central by (Unknown)
Changes: 
use mathml for connectives, now
Version: 2.1 Nov 20, 2001 12:00 am US/Central by (Unknown)
Changes: 
Further fleshed out (the circuit/type-check sections, etc)
but still lots more to do (provide figures, ...)
Moshe leaving for cypress tomorrow.
Version: 2.0 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
Added initial template for new module m10395

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: Ian Barland
  • the title of the work: Introduction to Proofs
  • the Connexions URL where the work can be found: http://cnx.org/content/m10395/2.7/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I. Introduction to Proofs, Connexions Web site. http://cnx.org/content/m10395/2.7/, May 24, 2005.

American Medical Assocation (AMA) Manual of Style:

Barland I. Introduction to Proofs [Connexions Web site]. May 24, 2005. Available at: http://cnx.org/content/m10395/2.7/.

American Psychological Assocation (APA) Publication Manual:

Barland, I. (2005, May 24). Introduction to Proofs. Retrieved from the Connexions Web site: http://cnx.org/content/m10395/2.7/

Chicago Manual of Style (Bibliography):

Barland, Ian. "Introduction to Proofs." Connexions. May 24, 2005. http://cnx.org/content/m10395/2.7/.

Chicago Manual of Style (Note):

Ian Barland, "Introduction to Proofs," Connexions, May 24, 2005, http://cnx.org/content/m10395/2.7/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I. 2005. Introduction to Proofs. Connexions, May 24, 2005. http://cnx.org/content/m10395/2.7/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian. Introduction to Proofs. Connexions. 24 May 2005 <http://cnx.org/content/m10395/2.7/>.