Material Detail
Intro to Logic
This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It is Part of the TeachLogic Project (www.teachlogic.org).'
Contents include:
- Introduction
- Propositional Logic
- Relations and Models
- First-Order Logic
- Conclusion, Acknowledgements...
Quality
-
Editor Reviews
-
User Rating
- Comments
- Learning Exercises
- Bookmark Collection (1) Bookmark Collections
- Course ePortfolios (7) Course ePortfolios
- Accessibility Info (1) Accessibility Infos
More about this material
- Material Type:
- Open (Access) Textbook
- Date Added to MERLOT:
- November 25, 2008
- Date Modified in MERLOT:
- February 9, 2018
- Author:
- John Greiner, et al., Rice University
- Submitter:
-
Judy Baker
- Primary Audience:
- College General Ed, College Lower Division
- Technical Format:
- Website
- Mobile Compatibility:
- Not specified at this time
- Technical Requirements:
- Also available as PDF, ePub and Offline zip
- Language:
- English
- Cost Involved:
- No
- Source Code Available:
- No
- Accessibility Information Available:
- Yes
- Creative Commons:
-
This work is licensed under a Attribution 3.0 United States
