COMP 280 Homework 03 First-order logic
No Strings Attached
- Author:
- Ian Barland, John Greiner
- Subject:
- Science and Technology
- Institution Name:
- Connexions
- Collection:
- Connexions
- Grade Level:
- Post-secondary
- Abstract:
Problems and solutions related to first-order logic, reasoning with equivalences, and reasoning with inference rules.
- Course Type:
- Learning Module
- Languages:
- English
- Material Type:
- Readings, Syllabi
- Media Format:
- Text/HTML
- Conditions of Use:
-
Creative Commons Attribution 1.0
Comments