Logic as a tool a guide to formal logical reasoning
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Chichester, West Sussex, England :
Wiley
2016.
|
| Edición: | 1st edition |
| Colección: | New York Academy of Sciences
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009629886006719 |
Tabla de Contenidos:
- Understanding propositional logic
- Deductive reasoning in propositional logic
- Understanding first-order logic
- Deductive reasoning in first-order logic
- Applications : mathematical proofs and automated reasoning
- Answers and solutions to selected exercises.
