Designed primarily as an introductory text on logic for computer science, this well-organized book deals with almost all the basic concepts and techniques that are pertinent to the subject. It provides an excellent understanding of the logics used in computer science today.
Starting with the logic of propositions, it gives a detailed coverage of first order logic and modal logics. It discusses various approaches to the proof theory of the logics, e.g. axiomatic systems, natural deduction systems, Gentzen systems, analytic tableau, and resolution. It deals with an important application of logic to computer science, namely, verification of programs. The book gives the flavour of logic engineering through computation tree logic, a logic of model checking. The book concludes with a fairly detailed discussion on nonstandard logics including intuitionistic logic, Lukasiewicz logics, default logic, autoepistemic logic, and fuzzy logic.
The Second Edition includes applications of compactness theorem to many interesting problems relevant to mathematics and computer science. It also presents the undecidability of first order logic, inexpressibility of truth, and incompleteness of Peano's Arithmetic in a comprehensive and lively manner.
Besides students of Computer Science, those offering courses in Mathematics and Philosophy would greatly benefit from this study.
Key features
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Arindama Singh, Ph.D., is Professor, Department of Mathematics, IIT Madras, Chennai. Earlier, he taught Applied Mathematics at the University of Hyderabad. A vigorous researcher in the areas of Numerical Analysis, Computational Logic, and Linear Algebra, Dr. Singh has published a number of research papers in international journals. He has also authored books on Logic, and Theory of Computation. He has been teaching logic to both undergraduate and postgraduate students in Mathematics and Theoretical Computer Science for the last twenty-five years. Besides, he has given many invited talks at various institutions in India and abroad.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 7,74 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. pp. 432. N° de réf. du vendeur 26376020926
Quantité disponible : 1 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. pp. 432. N° de réf. du vendeur 371073121
Quantité disponible : 1 disponible(s)
Vendeur : Books in my Basket, New Delhi, Inde
Soft cover. Etat : New. ISBN:9789387472433,Territorial restriction maybe printed on the book. This is an Int'l edition, ISBN and cover may differ from US edition, Contents same as US edition. N° de réf. du vendeur 2440935
Quantité disponible : 1 disponible(s)