Basic Logic and Its Applications in Computer Science
1998
Narosa Publishing House (Verlag)
9788173192081 (ISBN)
Narosa Publishing House (Verlag)
9788173192081 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
This text examines the applications of basic logic in computer science. It includes topics such as: the development of logic; Aristotelian Logic; standard propositional calculus; basic non-classic systems; model sentential calculus; logic programming; and logic for software systems.
The recent developments in computer science, particularly in the areas of automated theorem proving database management and artificial intelligence have promoted a prolific growth in the field of logic, specially committed to devising a suitable theory of inference. This text may be considered as a unified approach in this direction. The text consists of three parts and nine chapters. At the end of each chapter is provided a good number of representative exercises, some of them with solutions/hints.
The recent developments in computer science, particularly in the areas of automated theorem proving database management and artificial intelligence have promoted a prolific growth in the field of logic, specially committed to devising a suitable theory of inference. This text may be considered as a unified approach in this direction. The text consists of three parts and nine chapters. At the end of each chapter is provided a good number of representative exercises, some of them with solutions/hints.
Part 1 Predicate Calculus: Development of Logic - an Overview; Aristotelian Logic; Standard Propositional Calculus; The Predicate Calculus. Part 2 Basic Non-Classical Systems: Modal Sentential Calculus; Propositional Relevance Logic. Part 3 Computation: Logic Programming; Logic for AI; Logic for Software Systems.
| Erscheint lt. Verlag | 30.10.1998 |
|---|---|
| Verlagsort | New Delhi |
| Sprache | englisch |
| Themenwelt | Informatik ► Grafik / Design ► Digitale Bildverarbeitung |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-13 | 9788173192081 / 9788173192081 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Methoden, Konzepte und Algorithmen in der Optotechnik, optischen …
Buch | Hardcover (2024)
Hanser (Verlag)
CHF 55,95
