Structured Derivations: Teaching . . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | April 11, 2015 |
| Authors | Ralph-Johan Back |
| Music groups | I3V: a Program Proof Management System |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2234749 |
About Structured Derivations: Teaching . . .
Mathematics is based on proofs. The proof shows the logical reasoning behind a theorem, allows us to understand the meaning of it, its limitations and its consequences. Without a proof, a theorem is like magic; with a proof it is (sometimes more, sometimes less) self evident. . . .