Basic Logic and Its Applications in Computer Science
2001
Alpha Science International Ltd (Verlag)
978-1-84265-039-4 (ISBN)
Alpha Science International Ltd (Verlag)
978-1-84265-039-4 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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.
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.
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.
Erscheint lt. Verlag | 27.2.2001 |
---|---|
Verlagsort | Oxford |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 1-84265-039-4 / 1842650394 |
ISBN-13 | 978-1-84265-039-4 / 9781842650394 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99 €
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €