The Classical Decision Problem - Rilegato

Borger, Egon; Gradel, Erich; Gurevich, Yuri

Rilegato

ISBN 10: 354057073X ISBN 13: 9783540570738

Casa editrice: Springer Verlag, 1996

Riassunto

This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many simple proofs and exercises are included in the book.

Su questo libro

Recensione

From the reviews of the first edition:

"The authors ... describe their effort as that of ‘combining the features of a research monograph and a textbook.’ They suggest that the book - or selected chapters of it - might be used for an introductory course on decision problems, undecidability, and the complexity of decision procedures. ... So there is usually a lot to think about in making sense of the author’s arguments. This is part of what makes this book so enjoyable." (R. Gregory Taylor, The Review of Modern Logic, Vol. 9 (3-4), 2004)

"This is the most comprehensive treatment available in book form of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given. ... Many cases are treated here for the first time, and a great number of simple proofs and exercises have been included." (L’Enseignement Mathematique, Vol. 48 (1-2), 2002)

"The book is dedicated to a comprehensive presentation of the classical decision problem of first-order logic. ... This book is an essential reference for any researcher in logic, complexity, and artificial intelligence. ... Historical references that are placed at the end of each chapter are very enjoyable and help the reader follow the literature and gain a perspective of the field. ... an excellent reference book for researchers in the field, and for advanced doctoral students in theoretical computer science and logic." (Dan A. Simovici, SIGACT News, Vol. 35 (1), 2004)

Product Description

Book by Brger Egon Grdel Erich Gurevich Yuri Borger Egon

Dettagli dell?edizione

• Editore: Springer Verlag
• Data di pubblicazione: 1996
• ISBN 10: 354057073X
• ISBN 13: 9783540570738
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 482