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).'
- Propositional Logic
- Relations and Models
- First-Order Logic
- Conclusion, Acknowledgements...
- Learning Exercises
- Bookmark Collection (1) Bookmark Collections
- Course ePortfolios (7) Course ePortfolios
- Accessibility Info (1) Accessibility Infos