Fundamental Proof Methods in Computer Science: A Computer-Based Approach (MIT Press)
Konstantine Arkoudas
ISBN 10: 0262035537 ISBN 13: 9780262035538
Edité par The MIT Press, 2017
Neuf(s)
Couverture rigide
Vendeur
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 27 février 2001
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Num Pages: 976 pages, 28 b&w illus. BIC Classification: UMS. Category: (U) Tertiary Education (US: College). Dimension: 229 x 203 x 33. . . 2017. 1st Edition. Hardcover. . . . . N° de réf. du vendeur V9780262035538
Synopsis :
A textbook that teaches students to read and write proofs using Athena.
Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certain desirable properties. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language. Athena proofs are machine-checkable and written in an intuitive natural-deduction style. The book contains more than 300 exercises, most with full solutions. By putting proofs into practice, it demonstrates the fundamental role of logic and proof in computer science as no other existing text does. Guided by examples and exercises, students are quickly immersed in the most useful high-level proof methods, including equational reasoning, several forms of induction, case analysis, proof by contradiction, and abstraction/specialization. The book includes auxiliary material on SAT and SMT solving, automated theorem proving, and logic programming.
The book can be used by upper undergraduate or graduate computer science students with a basic level of programming and mathematical experience. Professional programmers, practitioners of formal methods, and researchers in logic-related branches of computer science will find it a valuable reference.
À propos de l?auteur:
Konstantine Arkoudas is a Senior Research Scientist and Software Architect at Bloomberg.
David Musser is Professor Emeritus of Computer Science at Rensselaer Polytechnic Institute.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Fundamental Proof Methods in Computer ...
Éditeur : The MIT Press
Date d'édition : 2017
Reliure : Couverture rigide
Etat : New
Edition : Edition originale
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Edité par
The MIT Press, 2017
ISBN 10 : 0262035537
ISBN 13 : 9780262035538
Ancien ou d'occasion
Couverture rigide
Vendeur : Bellwetherbooks, McKeesport, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting. N° de réf. du vendeur mon0000010794
Acheter D'occasion
EUR 42,19
EUR 3,37 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Edité par
The MIT Press, 2017
ISBN 10 : 0262035537
ISBN 13 : 9780262035538
Ancien ou d'occasion
Couverture rigide
Vendeur : Bellwetherbooks, McKeesport, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. N° de réf. du vendeur 409437
Acheter D'occasion
EUR 42,19
EUR 3,37 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Fundamental Proof Methods in Computer Sc
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26375756035
Acheter neuf
EUR 47,47
EUR 3,41 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-67445
Acheter neuf
EUR 49,31
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-210529
Acheter neuf
EUR 49,31
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK67445
Acheter neuf
EUR 55,86
Livraison gratuite
Expédition depuis Australie vers Etats-Unis
Expédition depuis Australie vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Sc
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 370289372
Acheter neuf
EUR 62,41
EUR 7,42 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science (Hardcover)
Edité par
MIT Press Ltd, Cambridge, Mass., 2017
ISBN 10 : 0262035537
ISBN 13 : 9780262035538
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. A textbook that teaches students to read and write proofs using Athena.Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use- verifying that a particular system (or component, or algorithm) has certain desirable properties. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language. Athena proofs are machine-checkable and written in an intuitive natural-deduction style. The book contains more than 300 exercises, most with full solutions. By putting proofs into practice, it demonstrates the fundamental role of logic and proof in computer science as no other existing text does. Guided by examples and exercises, students are quickly immersed in the most useful high-level proof methods, including equational reasoning, several forms of induction, case analysis, proof by contradiction, and abstraction/specialization. The book includes auxiliary material on SAT and SMT solving, automated theorem proving, and logic programming.The book can be used by upper undergraduate or graduate computer science students with a basic level of programming and mathematical experience. Professional programmers, practitioners of formal methods, and researchers in logic-related branches of computer science will find it a valuable reference. A textbook that teaches students to read and write proofs using Athena. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780262035538
Acheter neuf
EUR 65,07
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Sc
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18375756041
Acheter neuf
EUR 68,91
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Science A ComputerBased Approach
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 1st edition. 941 pages. 9.00x8.00x1.50 inches. In Stock. N° de réf. du vendeur 0262035537
Acheter neuf
EUR 79,92
EUR 17,13 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)