Basic Logic and Its Applications in Computer Science

D. Singh, G. Sivakumar (Autoren)

Buch | Hardcover

2001
Alpha Science International Ltd (Verlag)
9781842650394 (ISBN)

Infos

Developments in computer science, particularly in the areas of automated theorem proving, database management and artifical intelligence have promoted a prolific growth in the field of logic, specially committed to devising a suitable theory of inference. This work examines the field.

---

The recent developments in computer science, particularly in the areas of automated theorem proving, database management and artifical intelligence have promoted a prolific growth in the field of logic, specially committed to devising a suitable theory of inference. This book presents a unified approach in this direction. A number of representative exercises, some of them with solutions/hints, are provided at the end of each chapter. The book is intended as a text for senior undergraduate students of philosophy, mathematics and computer science. Postgraduates and researchers requiring logic for their Master and PhD levels should also find this book useful.

Inhalt

Part 1: predicate calculus-development of logic - an overview; Aristotelian logic; standard propositional calculus; the predicate calculus. Part 2: basic non-classical systems; modal sentinal calculus; propositional relevance logic. Part 3: computation-logic programming; logic for AI; logic for software systems.

Produkt-Details

• Erscheint lt. Verlag: 27.2.2001
• Verlagsort: Oxford
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9781842650394 / 9781842650394
• Zustand: Neuware