Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
First-Order Logic and Automated Theorem Proving (Paperback, 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996)
Loot Price: R2,751
Discovery Miles 27 510
|
|
First-Order Logic and Automated Theorem Proving (Paperback, 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996)
Series: Texts in Computer Science
Expected to ship within 10 - 15 working days
|
There are many kinds of books on formal logic. Some have
philosophers as their intended audience, some mathematicians, some
computer scien tists. Although there is a common core to all such
books, they will be very different in emphasis, methods, and even
appearance. This book is intended for computer scientists. But even
this is not precise. Within computer science formal logic turns up
in a number of areas, from pro gram verification to logic
programming to artificial intelligence. This book is intended for
computer scientists interested in automated theo rem proving in
classical logic. To be more precise yet, it is essentially a
theoretical treatment, not a how-to book, although how-to issues
are not neglected. This does not mean, of course, that the book
will be of no interest to philosophers or mathematicians. It does
contain a thorough presentation of formal logic and many proof
techniques, and as such it contains all the material one would
expect to find in a course in formal logic covering completeness
but, not incompleteness issues. The first item to be addressed is,
What are we talking about and why are we interested in it? We are
primarily talking about truth as used in mathematical discourse,
and our interest in it is, or should be, self evident. Truth is a
semantic concept, so we begin with models and their properties.
These are used to define our subject.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.