Connexions

Sections
You are here: Home » Content » Intro to Logic

About: Intro to Logic

Collection type: Course

Course by: Ian Barland, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, John Greiner

View content

Metadata

Name: Intro to Logic
ID: col10154
Language: English (en)
Summary: An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
Collection Subtype: Course
Subject: Science and Technology
Keywords: boolean algebra, first order logic, inference rule, interpretation, logic, model, proof, proposition, propositional logic, quantifier, truth table
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu), John Greiner (greiner@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu), John Greiner (greiner@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Fuching Chi (iamjack@rice.edu), Sarah Trowbridge (set@rice.edu)
Version: 1.20 (history)
Created: Oct 11, 2002 12:00 am GMT-5
Revised: Jan 29, 2008 3:56 pm US/Central

Version History

Version: 1.20 Jan 29, 2008 3:56 pm US/Central by John Greiner
Changes: 
Updated and fixed a typo in the metadata.
Version: 1.19 Jan 29, 2008 3:51 pm US/Central by John Greiner
Changes: 
Renamed a couple sections for consistency.
Version: 1.18 Jan 30, 2007 10:12 am US/Central by John Greiner
Changes: 
Added the new first-order WaterWorld reference page.
Version: 1.17 May 9, 2006 12:38 pm GMT-5 by Ian Barland
Changes: 
Added acknowledgements.
Version: 1.16 Feb 23, 2006 2:53 pm US/Central by John Greiner
Changes: 
Deleted link to outdated page on notation.
Version: 1.15 Jan 31, 2006 2:12 pm US/Central by John Greiner
Changes: 
Fixed exercise links
Version: 1.14 Jan 15, 2006 9:04 pm US/Central by Ian Barland
Changes: 
Added role for greiner
Version: 1.13 Apr 1, 2005 5:04 pm US/Central by Ian Barland
Changes: 
Added nonstandard interpretations,
and 90=100 (if I didn't already do that previously).
Version: 1.12 Mar 10, 2005 3:38 pm US/Central by Ian Barland
Changes: 
Updated nearly all the roles.
Version: 1.11 Aug 3, 2004 3:22 pm GMT-5 by Sarah Trowbridge
Changes: 
better organization
Version: 1.10 Aug 3, 2004 12:02 pm GMT-5 by Sarah Trowbridge
Changes: 
fixed names
Version: 1.9 Aug 2, 2004 12:08 pm GMT-5 by Sarah Trowbridge
Changes: 
organization
Version: 1.8 Aug 2, 2004 11:48 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.7 Jul 9, 2004 11:43 am GMT-5 by Sarah Trowbridge
Changes: 
changed www.tlogic.org to www.teachlogic.org
Version: 1.6 Jul 9, 2004 11:40 am GMT-5 by Ian Barland
Changes: 
adding sarah as a maintainer
Version: 1.5 Jul 9, 2004 11:23 am GMT-5 by Ian Barland
Changes: 
adding 'iamjack' as maintainer
Version: 1.4 Jul 8, 2004 4:10 pm GMT-5 by Ian Barland
Changes: 
2002, 2003, 2004 versions
Version: 1.3 Jan 22, 2004 11:15 am US/Central by (Unknown)
Changes: 
Course composer upgrade
Version: 1.2 Oct 16, 2003 2:16 pm GMT-5 by (Unknown)
Changes: 
resubmit
Version: 1.1 Mar 20, 2003 1:25 pm US/Central by Brent Hendricks
Changes: 
Initial publication

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, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, John Greiner
  • the title of the work: Intro to Logic
  • the Connexions URL where the work can be found: http://cnx.org/content/col10154/1.20/

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.; Kolaitis, P.; Vardi, M.; Felleisen, M.; Greiner, J. Intro to Logic, Connexions Web site. http://cnx.org/content/col10154/1.20/, Jan 29, 2008.

American Medical Assocation (AMA) Manual of Style:

Barland I, Kolaitis P, Vardi M, Felleisen M, Greiner J. Intro to Logic [Connexions Web site]. January 29, 2008. Available at: http://cnx.org/content/col10154/1.20/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Kolaitis, P., Vardi, M., Felleisen, M., & Greiner, J. (2008, January 29). Intro to Logic. Retrieved from the Connexions Web site: http://cnx.org/content/col10154/1.20/

Chicago Manual of Style (Bibliography):

Barland, Ian, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, and John Greiner. "Intro to Logic." Connexions. January 29, 2008. http://cnx.org/content/col10154/1.20/.

Chicago Manual of Style (Note):

Ian Barland and others, "Intro to Logic," Connexions, January 29, 2008, http://cnx.org/content/col10154/1.20/.

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

Barland, I., Kolaitis, P., Vardi, M., Felleisen, M., & Greiner, J. 2008. Intro to Logic. Connexions, January 29, 2008. http://cnx.org/content/col10154/1.20/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, and John Greiner. Intro to Logic. Connexions. 29 Jan. 2008 <http://cnx.org/content/col10154/1.20/>.