Für diesen Artikel ist leider kein Bild verfügbar.

Basic Logic and Its Applications in Computer Science

, (Autoren)

Buch | Hardcover
2001
Alpha Science International Ltd (Verlag)
978-1-84265-039-4 (ISBN)
54,70 inkl. MwSt
  • 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.

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
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
25,00