About: Comp280 hw03: First-order logic
Metadata
| Name: | Comp280 hw03: First-order logic |
| ID: | m10518 |
| Language: | English (en) |
| Summary: | |
| 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) |
| Copyright Holders: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
| Maintainers: | Fuching Chi (iamjack@rice.edu), Bryan Cash (seleniat@rice.edu), Sarah Trowbridge (set@rice.edu), Bri (c@rice.edu), Justin Garcia (bih@rice.edu), John Greiner (greiner@cs.rice.edu), Peggy Fidelman (peggy@rice.edu), Ian Barland (ibarland@radford.edu) |
|
|
|
| Latest version: | 2.19 (history) |
| First publication date: | Feb 18, 2002 6:00 pm US/Central |
| Last revision to module: | Aug 2, 2004 11:24 am GMT-5 |
|
|
|
| Module XML: | m10518_2.19.cnxml |
Version History
| Version: | 2.19 Aug 2, 2004 11:24 am GMT-5 by Ian Barland |
| Changes: | monday publish- so that everyone in the workgroup can publish this module |
|
|
|
| Version: | 2.18 May 28, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.17 May 14, 2004 1:44 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.16 Mar 15, 2004 3:51 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.15 Feb 5, 2004 7:39 pm US/Central by Ian Barland |
| Changes: | Defer last 3 problems -- whoops haven't talked about that yet. |
|
|
|
| Version: | 2.14 Feb 5, 2004 6:00 pm US/Central by Ian Barland |
| Changes: | Fix bad URL (dang) |
|
|
|
| Version: | 2.13 Feb 5, 2004 5:34 pm US/Central by Ian Barland |
| Changes: | minor tweak |
|
|
|
| Version: | 2.12 Feb 5, 2004 5:28 pm US/Central by Ian Barland |
| Changes: | some tweaked changes.. |
|
|
|
| Version: | 2.11 Feb 5, 2004 5:08 pm US/Central by Ian Barland |
| Changes: | 2004.spring comp280 update. Improved versions of several problems. |
|
|
|
| Version: | 2.10 Feb 17, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Clarified intent on some english->logic probs, per newsgroup questions. |
|
|
|
| Version: | 2.9 Feb 14, 2003 12:00 am US/Central by Ian Barland |
| Changes: | fix up #2. |
|
|
|
| Version: | 2.8 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.7 Jan 24, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.6 Sep 16, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.5 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.4 Jun 24, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added peggy as maintainer |
|
|
|
| Version: | 2.3 Apr 5, 2002 12:00 am US/Central by (Unknown) |
| Changes: | clarify Rome |
|
|
|
| Version: | 2.2 Apr 4, 2002 12:00 am US/Central by (Unknown) |
| Changes: | clarified the sequence problem |
|
|
|
| Version: | 2.1 Apr 2, 2002 12:00 am US/Central by (Unknown) |
| Changes: | submit good version |
|
|
|
| Version: | 2.0 Feb 19, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Added initial template for new module m10518 |
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
- the title of the work: Comp280 hw03: First-order logic
- the Connexions URL where the work can be found: http://cnx.org/content/m10518/2.19/
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. Comp280 hw03: First-order logic, Connexions Web site. http://cnx.org/content/m10518/2.19/, Aug 2, 2004.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J. Comp280 hw03: First-order logic [Connexions Web site]. August 2, 2004. Available at: http://cnx.org/content/m10518/2.19/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., & Greiner, J. (2004, August 2). Comp280 hw03: First-order logic. Retrieved from the Connexions Web site: http://cnx.org/content/m10518/2.19/
Chicago Manual of Style (Bibliography):
Barland, Ian, and John Greiner. "Comp280 hw03: First-order logic." Connexions. August 2, 2004. http://cnx.org/content/m10518/2.19/.
Chicago Manual of Style (Note):
Ian Barland and John Greiner, "Comp280 hw03: First-order logic," Connexions, August 2, 2004, http://cnx.org/content/m10518/2.19/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., & Greiner, J. 2004. Comp280 hw03: First-order logic. Connexions, August 2, 2004. http://cnx.org/content/m10518/2.19/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, and John Greiner. Comp280 hw03: First-order logic. Connexions. 2 Aug. 2004 <http://cnx.org/content/m10518/2.19/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland and John Greiner under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by Ian Barland on Aug 2, 2004 11:24 am GMT-5.