Mathematical Logic for Computer Science - Couverture souple

Ben-Ari, M.

Couverture souple

ISBN 10 : 013564139X ISBN 13 : 9780135641392

Editeur : Prentice-Hall, 1992

Synopsis

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

A propos du livre

Présentation de l'éditeur

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

Détails de l'édition

• Éditeur: Prentice-Hall
• Date d'édition: 1992
• Langue: anglais
• ISBN 10: 013564139X
• ISBN 13: 9780135641392
• Reliure: Broché
• Nombre de pages: 320
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible