formal_methods
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| formal_methods [2022/02/06 14:09] – domin144 | formal_methods [2022/02/06 14:10] (current) – domin144 | ||
|---|---|---|---|
| Line 46: | Line 46: | ||
| All mathematics reduced to few axioms, inference rules and the rewrite principle. | All mathematics reduced to few axioms, inference rules and the rewrite principle. | ||
| This was my first encounter of axiomatic approach, set theory, etc. | This was my first encounter of axiomatic approach, set theory, etc. | ||
| - | This book is a must read for every mathematician or engineer. | + | I think, the first chapter of this book is a must read for every mathematician or engineer. |
| Now, what was needed was a [[computer algebra systems|computer algebra system]], which would produce, apart from the result, a proof of the results correctness. | Now, what was needed was a [[computer algebra systems|computer algebra system]], which would produce, apart from the result, a proof of the results correctness. | ||
formal_methods.txt · Last modified: 2022/02/06 14:10 by domin144