With DocHub, you can quickly inject writing in AFP from anywhere. Enjoy features like drag and drop fields, editable text, images, and comments. You can collect electronic signatures securely, add an extra layer of defense with an Encrypted Folder, and work together with teammates in real-time through your DocHub account. Make adjustments to your AFP files online without downloading, scanning, printing or mailing anything.
You can find your edited record in the Documents tab of your account. Manage, send, print out, or convert your document into a reusable template. With so many advanced tools, it’s easy to enjoy effortless document editing and management with DocHub.
so last time around we started off a new topic on the course which is reasoning about programs and we did a couple of things last time around we looked at what actually is equational reasoning and then we started to think about how you can apply this idea to reasoning about hascal programs so what weamp;#39;re going to be doing today is weamp;#39;re going to be looking at the principle of induction on two particular recursive data types a data type of numbers and a data type of lists and for most of you um taking this course um this should be a revision most of you should have seen induction in some form or another uh before probably many times before but my experience of teaching this kind of stuff for many years is that many students still struggle with the idea of induction even if they have seen it many times before so what Iamp;#39;m going to be doing is introducing you to the principle and the emphasis Iamp;#39;m going to place is on how you actually do the proofs so weamp;#
