Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Chichester, UK ; Hoboken, NJ :
Wiley,
2016.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
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.