Artículos relacionados a Logics for Computer Science

Logics for Computer Science - Tapa blanda

 
9789387472433: Logics for Computer Science

Sinopsis

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

  • Provides numerous worked-out examples which not only illustrate the concepts and theory developed, but also give a lead to the succeeding notions.
  • Exercises at the end of each section aim at reinforcing and mastering the techniques, raising issues and preparing background for further development of the subject.
  • Problems of theoretical nature, which are important for learning the subject, are included at the end of each chapter.
  • The reader is constantly provoked to workout the details, promoting interactive learning.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo

Ver este artículo

GRATIS gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Logics for Computer Science

Edición internacional
Edición internacional

Gautam B. Singh
Publicado por PHI Publisher
ISBN 10: 9387472434 ISBN 13: 9789387472433
Nuevo Tapa blanda
Edición internacional

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-301666

Contactar al vendedor

Comprar nuevo

EUR 27,38
Convertir moneda
Gastos de envío: GRATIS
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Singh, Arindama
Publicado por Phi, 2021
ISBN 10: 9387472434 ISBN 13: 9789387472433
Nuevo Soft cover

Librería: Books in my Basket, New Delhi, India

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Soft cover. Condición: 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 ref. del artículo: 2440935

Contactar al vendedor

Comprar nuevo

EUR 10,94
Convertir moneda
Gastos de envío: EUR 16,50
De India a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito