Articles liés à Mathematical Logic for Computer Science
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Mathematical Logic for Computer Science
Image d'archives
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Edité par
Prentice-Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. N° de réf. du vendeur 9432038
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
Edité par
Prentice Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.05. N° de réf. du vendeur G013564139XI4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic for Computer Science
Edité par
Prentice-Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780135641392. N° de réf. du vendeur 5569798
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Edité par
Prentice-Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. N° de réf. du vendeur 4311745
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
Edité par
Prentice-Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 320 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch. N° de réf. du vendeur 392202
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic for Computer Science
Edité par
Prentice-Hall, 1993
ISBN 10 : 013564139X
ISBN 13 : 9780135641392
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392. N° de réf. du vendeur 5555302
Quantité disponible : 1 disponible(s)