Fundamental Proof Methods in Computer Science: A Computer-Based Approach
70,62 €
Proof is the primary vehicle for knowledge generation in mathematics. 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.
Jetzt bei Ebay:
![Produktbild - Our Fundamental Problem: A Revolutionary Approach to Philosophy [Paperback]](https://i.ebayimg.com/thumbs/images/g/b~EAAeSwzxFoSc~3/s-l140.jpg)
