Intro to Logic
No Strings Attached
- Author:
- Ian Barland, John Greiner, Matthias Felleisen, Moshe Vardi, Phokion Kolaitis
- Subject:
- Science and Technology
- Institution Name:
- Connexions
- Collection:
- Connexions
- Grade Level:
- Post-secondary
- Abstract:
An introduction to reasoning with Proposition and First-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
- Languages:
- English
- Material Type:
- Full Course, Readings, Syllabi
- Media Format:
- Text/HTML
- Conditions of Use:
-
Creative Commons Attribution 1.0
Comments