Logic for Applications (Texts in Computer Science)
Nerode, Anil; Shore, Richard A.
ISBN 10: 0387948937 ISBN 13: 9780387948935
Editore: Springer, 1997
Usato
Rilegato
Da
Friends of Pima County Public Library, Tucson, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 marzo 2001
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Hardcover. NOT Ex-library. No dust jacket. Slight edgewear and bumping. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona. Codice articolo 529QWY000HRF
Riassunto:
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.From reviews of the first edition: "...must surely rank as one of the most fruitful textbooks introduced into computer science ...We strongly suggest it as a textbook ..." SIGACT News
Recensione:
From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News
From the reviews of the second edition:
"...the book achieves its goal of being a unified introduction into classical logic, logic programming and certain non-classical logics. ...the book succeeded in presenting a uniform framework for describing different logics. The author’s thorough approach to describing logic programming, via introduction of resolution-based refutations and subsequent study of different kinds of resolutions allows the reader to gradually switch from the study of logic to the study of logical programming paradigm and provides a lot of intuition about the behavior of logic programs.
As such the book can be recommended both as a textbook for senior/graduate course in logic/logic programming, and as a reading or reference for graduate students in the areas related to discrete mathematics."
(Alexander Dekhtyar, William Gasarch’s Book Review Column, SIGACT News)
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Logic for Applications (Texts in Computer ...
Casa editrice: Springer
Data di pubblicazione: 1997
Legatura: Rilegato
Condizione: Good
Edizione: seconda edizione
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Logic for Applications (Texts in Computer Science)
Da: HPB-Diamond, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Codice articolo S_452907872
Compra usato
EUR 7,01
EUR 3,19 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic for Applications
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP29655350
Compra usato
EUR 10,29
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic for Applications (Texts in Computer Science)
Da: Bay State Book Company, North Smithfield, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable. The book is complete and readable, with all pages and cover intact. Dust jacket, shrink wrap, or boxed set case may be missing. Pages may have light notes, highlighting, or minor water exposure, but nothing that affects readability. May be an ex-library copy and could include library markings or stickers. Codice articolo BSM.TC6T
Compra usato
EUR 10,51
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic for Applications (Texts in Computer Science)
Da: Bay State Book Company, North Smithfield, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. Codice articolo BSM.W4HL
Compra usato
EUR 10,51
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Edizione Internazionale
Logic for Applications, 2nd edition
Editore:
Secaucus, New Jersey, U.S.A.: Springer Verlag, 1997
ISBN 10: 0387948937
ISBN 13: 9780387948935
Nuovo
Soft cover
Da: Sizzler Texts, SAN GABRIEL, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: New. Condizione sovraccoperta: New. 2nd Edition. **International edition** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Codice articolo ABE-8325968707
Compra nuovo
EUR 18,36
EUR 8,50 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic for Applications (Texts in Computer Science)
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 2nd. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000328144U
Compra usato
EUR 21,46
EUR 3,39 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Edizione Internazionale
Logic for Applications, 2nd
Editore:
Springer, New York, NY, 1997
ISBN 10: 0387948937
ISBN 13: 9780387948935
Nuovo
Trade paperback
Da: Aideo Books, San Marino, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Trade paperback. Condizione: New in new dust jacket. 2nd ed. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Sewn binding. Cloth over boards. 469 p. Contains: Illustrations. Graduate Texts in Computer Science. Audience: General/trade. Codice articolo K1080000230
Compra nuovo
EUR 26,26
EUR 4,21 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic for Applications
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher | In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG. Codice articolo 120/202
Compra usato
EUR 27,14
EUR 105,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic for Applications
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher | In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG. Codice articolo 120/2
Compra usato
EUR 27,14
EUR 105,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic for Applications
Da: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Fine. Pencil marks to two pages. otherwise book is as new. Codice articolo 084523
Compra usato
EUR 77,99
EUR 4,89 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili