Items related to Logic for Applications (Texts & Monographs in Computer...

Logic for Applications (Texts & Monographs in Computer Science) - Hardcover

 
9780387941295: Logic for Applications (Texts & Monographs in Computer Science)
View all copies of this ISBN edition:
 
 
Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for many areas of applications in computer science and artificial intelligence. Topics covered include soundness, completeness, and undecidability for classical, nonclassical, and computation-based logical systems as well as compactness and the theorems of Herbrand and Skolem-Lowenheim. In context of PROLOG, termination conditions, negation as failure, and the relations to nonmonotonic logic are all discussed.
This book is an ideal textbook for presenting classical and non-classical logic as well as logic programming to advanced undergraduate or beginning graduate students in computer science or mathematics. It contains a historical appendix and an extensive list of references for further studies in the field. No advanced mathematical background is required.

"synopsis" may belong to another edition of this title.

Review:

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)

From the Back Cover:
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. While 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. The book also provides a systematic treatment of the elements of set theory, a historical overview of its subjects, and an extensive annotated bibliography. No previous exposure to logic is assumed, and so this will be suitable for upper level undergraduate or beginning graduate students in computer science or mathematics.

"About this title" may belong to another edition of this title.

  • PublisherSpringer Verlag
  • Publication date1993
  • ISBN 10 0387941290
  • ISBN 13 9780387941295
  • BindingHardcover
  • Rating
Buy Used
Condition: Fine
365 p. In very good condition.... Learn more about this copy

Shipping: £ 13.29
From Germany to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780387948935: Logic for Applications (Texts in Computer Science)

Featured Edition

ISBN 10:  ISBN 13:  9780387948935
Publisher: Springer, 1997
Hardcover

  • 9781461268550: Logic for Applications (Texts in Computer Science)

    Springer, 2012
    Softcover

  • 9783540941293: Logic for Applications (Texts and Monographs in Computer Science)

    Spring..., 1993
    Hardcover

  • 9781468402131: Logic for Applications (Monographs in Computer Science)

    Spring..., 1993
    Softcover

Top Search Results from the AbeBooks Marketplace

Stock Image

Nerode, Anil and Richard A. Shore:
Published by Springer (1993)
ISBN 10: 0387941290 ISBN 13: 9780387941295
Used Hardcover Quantity: 1

Book Description Condition: Sehr gut. 365 p. In very good condition. ISBN: 9780387941295 Sprache: Englisch Gewicht in Gramm: 738 16,5 x 1,9 x 24,8 cm, hardcover. Seller Inventory # 59731

More information about this seller | Contact seller

Buy Used
£ 7.57
Convert currency

Add to Basket

Shipping: £ 13.29
From Germany to U.S.A.
Destination, rates & speeds
Stock Image

Nerode, Anil; Shore, Richard A.
Published by Springer Verlag (1993)
ISBN 10: 0387941290 ISBN 13: 9780387941295
Used Hardcover Quantity: 1
Seller:
Solr Books
(Skokie, IL, U.S.A.)

Book Description Condition: Good. Seller Inventory # 5D4000009HOR_ns

More information about this seller | Contact seller

Buy Used
£ 19.96
Convert currency

Add to Basket

Shipping: £ 3.16
Within U.S.A.
Destination, rates & speeds
Stock Image

Nerode, Anil; Shore, Richard A.
Published by Springer Verlag (1993)
ISBN 10: 0387941290 ISBN 13: 9780387941295
Used Hardcover Quantity: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)

Book Description Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book. Seller Inventory # 24-0387941290-G

More information about this seller | Contact seller

Buy Used
£ 27.39
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds