Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Kons

Fundamental Proof Methods in Computer Science by Konstantine Arkoudas, David Musser

Estimated delivery 3-12 business days

Format Hardcover

Condition Brand New

Description A textbook that teaches students to read and write proofs using Athena.

Publisher Description

A textbook that teaches students to read and write proofs using 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 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.

Details

• ISBN 0262035537
• ISBN-13 9780262035538
• Title Fundamental Proof Methods in Computer Science
• Author Konstantine Arkoudas, David Musser
• Format Hardcover
• Year 2017
• Pages 976
• Publisher MIT Press Ltd

GE_Item_ID:141685210; About Us

Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you\'re bound to find what you want, at a price you\'ll love!

Shipping & Delivery Times

Shipping is FREE to any address in USA.

Please view estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated.

International deliveries will take 1-6 weeks.

NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations.

Returns

If you wish to return an item, please consult our Returns Policy as below:

Please contact Customer Services and request \"Return Authorisation\" before you send your item back to us. Unauthorised returns will not be accepted.

Returns must be postmarked within 4 business days of authorisation and must be in resellable condition.

Returns are shipped at the customer\'s risk. We cannot take responsibility for items which are lost or damaged in transit.

For purchases where a shipping charge was paid, there will be no refund of the original shipping charge.

Additional Questions

If you have any questions please feel free to Contact Us.

Categories

• Baby
• Books
• Electronics
• Fashion
• Games
• Health & Beauty
• Home, Garden & Pets
• Movies
• Music
• Sports & Outdoors
• Toys