Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: PrefaceNotation and First-Order LogicSemantics and SyntaxAxiomatics and Formalism in MathematicsThe Axioms of Set TheoryElementary Set TheoryRecursive FunctionsThe Number SystemsMethods of Mathematical ProofThe Axiom of ChoiceProof TheoryCategory TheoryComplexity TheoryBoolean AlgebraThe Word ProblemList of Notation and LogicGlossary Terms from Mathematical and Sentential LogicA Guide to the LiteratureBibliographyIndex. Codice inventario libreria
Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician.
Handbook of Logic and Proof Techniques for Computer Science presents the elements of modern logic, including many current topics, to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The book contains definitions, examples and discussion of all of the key ideas in basic logic, but also makes a special effort to cut through the mathematical formalism, difficult notation, and esoteric terminology that is typical of modern mathematical logic. T
This handbook delivers cogent and self-contained introductions to critical advanced topics, including:
* Godel`s completeness and incompleteness theorems
* Methods of proof, cardinal and ordinal numbers, the continuum hypothesis, the axiom of choice, model theory, and number systems and their construction
* Extensive treatment of complexity theory and programming applications
* Applications to algorithms in Boolean algebra
* Discussion of set theory and applications of logic
The book is an excellent resource for the working mathematical scientist. The graduate student or professional in computer science and engineering or the systems scientist who needs to have a quick sketch of a key idea from logic will find it here in this self-contained, accessible, and easy-to-use reference.
Sinossi: Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.
Condizione libro: New
Descrizione libro Birkh?user, 2002. Condizione libro: Very Good. 2002nd Edition. N/A. Former Library book. Great condition for a used book! Minimal wear. Codice libro della libreria GRP79657784
Descrizione libro Condizione libro: New. Brand New Book In Mint Condition. Shipping With Trackable Method. No APO/FPO Addresses Please. Codice libro della libreria 9780817642204NHS
Descrizione libro Birkhäuser Boston, 2002. Hardcover. Condizione libro: Used: Very Good. Codice libro della libreria SONG081764220X
Descrizione libro BirkhÃ¤user Boston 2002-01-17, 2002. Hardcover. Condizione libro: good. 1. 081764220X. Codice libro della libreria 509018
Descrizione libro Birkhäuser, 2002. Hardcover. Condizione libro: New. 2002. Codice libro della libreria DADAX081764220X
Descrizione libro Condizione libro: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-75961
Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB111763
Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB48869
Descrizione libro Birkhäuser, 2002. Hardcover. Condizione libro: New. book. Codice libro della libreria 081764220X
Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-111763