¡Envío gratis y en 1 día!* a Península + 5% dcto  ¡Ver más!

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Logical Reasoning: A First Course (en Inglés)
Formato
Libro Físico
Tema
logic
Año
2004
Idioma
Inglés
N° páginas
406
Encuadernación
Tapa Blanda
ISBN13
9780954300678
N° edición
1
Categorías

Logical Reasoning: A First Course (en Inglés)

R Nederpelt; F Kamareddine (Autor) · College Publications · Tapa Blanda

Logical Reasoning: A First Course (en Inglés) - R Nederpelt; F Kamareddine

Libro Nuevo

17,52 €

18,44 €

Ahorras: 0,92 €

5% descuento
  • Estado: Nuevo
  • Quedan 18 unidades
Se enviará desde nuestra bodega entre el Viernes 07 de Junio y el Miércoles 12 de Junio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Logical Reasoning: A First Course (en Inglés)"

This book describes how logical reasoning works and puts it to the test in applications. It is self contained and presupposes no more than elementary competence in mathematics.The book is divided into three parts.The first gives a general introduction to logic and the methodology of logical calculations as coined by the computer scientist Dijkstra and his group at Eindhoven. In this book we develop an easy and perspicuous method to work with these calculations using a format which also provides arguments for the validity of the calculation.The second part presents another method for logical derivations the so called reasoning being a form of what is known as natural deduction. Again formality correctness and transparency are the main issues. We use a special notation for hypotheses in proofs as was used by the mathematician de Bruijn and his Automath group at Eindhoven in the first theorem prover which checks books of mathematics.The third part deals with applications of logic in different areas in particular sets relations mappings numbers and structures and ordered sets. In this part the power of logical proofs is put to work . One can now use calculations reasonings or an intelligent mixture of both styles in order to reach one s goal. The different proof techniques known under the name induction are also discussed in this part.Throughout the book methods and concepts are illustrated with ample examples and there are further exercises which help to sharpen the skills.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes