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

by David Musser, Konstantine Arkoudas, David Musser

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 0262035537
• ISBN13: 9780262035538
• Release Date: May 2017
• Publisher: MIT Press
• Length: 976 Pages
• Weight: 4.05 lbs.
• Dimensions: 1.6" x 8.2" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher