Share
Logical Reasoning: A First Course (in English)
R Nederpelt; F Kamareddine (Author)
·
College Publications
· Paperback
Logical Reasoning: A First Course (in English) - R Nederpelt; F Kamareddine
$ 17.56
$ 19.62
You save: $ 2.06
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Friday, July 05 and
Tuesday, July 09.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Logical Reasoning: A First Course (in English)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.