Verwandte Artikel zu Logic for Applications (Texts & Monographs in Computer...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logic for Applications (Texts & Monographs in Computer...
Beispielbild für diese ISBN
Logic for Applications
Verlag:
Springer Verlag, NY, 1993
ISBN 10: 0387941290
ISBN 13: 9780387941295
Gebraucht
Hardcover
Erstausgabe
Anbieter: Daedalus Books, Portland, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. First Edition. Texts & Monographs In Computer Science; 6.5 X 0.75 X 9.75 inches; 365 pages. Bestandsnummer des Verkäufers 322333
Anzahl: 1 verfügbar