Connexions

Sections
You are here: Home » Content » Introduction: outline

View content

Metadata

Name: Introduction: outline
ID: m10773
Language: English (en)
Summary: The Base Logic module of the TeachLogic project covers propositional and first-order logic and reasoning with truth tables, equivalences, and inference rules.
Subject: Science and Technology
Keywords:
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), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 2.26 (history)
First publication date: Jul 30, 2002 7:00 pm GMT-5
Last revision to module: Mar 10, 2005 3:25 pm US/Central
Module XML: m10773_2.26.cnxml

Version History

Version: 2.26 Mar 10, 2005 3:25 pm US/Central by Ian Barland
Changes: 
Updated roles and metadata.
Version: 2.25 Aug 6, 2004 1:43 pm GMT-5 by Fuching Chi
Changes: 
final publish with tags "functions", "relation", "constant" and "apply-rel" is removed
Version: 2.24 Aug 5, 2004 11:00 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 2.23 Aug 2, 2004 11:32 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 2.22 May 28, 2004 1:47 pm GMT-5 by Ian Barland
Changes: 
Added Bryan Cash as a maintainer.
Version: 2.21 May 14, 2004 1:48 pm GMT-5 by Ian Barland
Changes: 
Sarah added as maintainer
Version: 2.20 Mar 15, 2004 4:02 pm US/Central by Ian Barland
Changes: 
updated roles
Version: 2.19 Feb 14, 2003 12:00 am US/Central by Ian Barland
Changes: 
Add reference-pages,
link to cnx/mozilla/mathml/roadmap.
Version: 2.18 Feb 3, 2003 12:00 am US/Central by (Unknown)
Changes: 
Added maintainer
Version: 2.17 Jan 24, 2003 12:00 am US/Central by (Unknown)
Changes: 
Sample text
Version: 2.16 Jan 24, 2003 12:00 am US/Central by (Unknown)
Changes: 
Sample text
Version: 2.15 Jan 23, 2003 12:00 am US/Central by (Unknown)
Changes: 
Sample text
Version: 2.14 Oct 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.13 Oct 9, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.12 Sep 17, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.11 Sep 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.10 Sep 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added greiner as maintainer
Version: 2.9 Sep 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added greiner as author
Version: 2.8 Aug 1, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
get pdf links absolute
Version: 2.7 Aug 1, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
add links to .pdf
Version: 2.6 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
release 1
Version: 2.5 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
last draft of disclaimer,
so i can start updating all the
other modules!
Version: 2.4 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
incremental progress..
Version: 2.3 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
working on the disclaimer..
Version: 2.2 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added NSF acknowledgement
and link to teachlogic home
Version: 2.1 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
initial version
Version: 2.0 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Added initial template for new module m10773

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, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
  • the title of the work: Introduction: outline
  • the Connexions URL where the work can be found: http://cnx.org/content/m10773/2.26/

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.; Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Introduction: outline, Connexions Web site. http://cnx.org/content/m10773/2.26/, Mar 10, 2005.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Introduction: outline [Connexions Web site]. March 10, 2005. Available at: http://cnx.org/content/m10773/2.26/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2005, March 10). Introduction: outline. Retrieved from the Connexions Web site: http://cnx.org/content/m10773/2.26/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Introduction: outline." Connexions. March 10, 2005. http://cnx.org/content/m10773/2.26/.

Chicago Manual of Style (Note):

Ian Barland and others, "Introduction: outline," Connexions, March 10, 2005, http://cnx.org/content/m10773/2.26/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2005. Introduction: outline. Connexions, March 10, 2005. http://cnx.org/content/m10773/2.26/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Introduction: outline. Connexions. 10 Mar. 2005 <http://cnx.org/content/m10773/2.26/>.