Articles liés à Fundamental Proof Methods in Computer Science: A Computer-Ba...
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À 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.
Acheter neuf
Afficher cet article
EUR 46,43
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Fundamental Proof Methods in Computer Science: A Computer-Ba...
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
Quantité disponible : 2 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 : 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 MIT-HC-VG-0262035537
Quantité disponible : 1 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
Quantité disponible : Plus de 20 disponibles
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 ABEJUNE24-69497
Quantité disponible : 8 disponible(s)
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
Quantité disponible : 3 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Sc
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 370289372
Quantité disponible : 1 disponible(s)
Image d'archives
Fundamental Proof Methods in Computer Sc
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18375756041
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Fundamental Proof Methods in Computer Science : A Computer-Based Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 27876464-n
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Fundamental Proof Methods in Computer Science
Edité par
MIT Press Ltd, US, 2017
ISBN 10 : 0262035537
ISBN 13 : 9780262035538
Neuf
Couverture rigide
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780262035538
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Fundamental Proof Methods in Computer Science
Edité par
MIT Press Ltd, US, 2017
ISBN 10 : 0262035537
ISBN 13 : 9780262035538
Neuf
Couverture rigide
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. N° de réf. du vendeur LU-9780262035538
Quantité disponible : Plus de 20 disponibles