It's my first blog or more like an academic platform which could record and organize nicely with customizing so I am quite exciting. Because everyone's blog location are available to see, people are sharing things I may know or don't know and it becomes a way to communicate and get linked with same field information. So, as a Computer science student, I am interested in it and glad to enrol in the fields.
As for the first 4 weeks of the course, Simple Induction (or MI), Complete Induction, Well-Ordering Induction and Structural Induction are being practiced. During proof steps, they have their own steps and structures which help more on proving. Personally, I like Complete Induction most.
Here is my solution for A1 part-4, which is quite different with the posted solution on course website. I do like to share this complete induction and hope you guys could give me some advice whether on this proof or not :)
No comments:
Post a Comment