We are studying program correctness - who knew that you could analyze program correctness mathematically? I already found it interesting when I learned that recursion is similar to induction! So mathematics actually is applicable in programming, not just to teach you how to think or problem solve. Program correctness is pretty neat. I remember learning about O(n) complexity and thinking, how can I use this? But only to be surprised.
The interesting thing about this is that we don't just analyze the accuracy of the code. We also look at the pre-conditions, post-conditions as well. So we study how to test the accuracy of the entire program altogether - great and useful stuff!
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment