For this episode, we’re doing something a little different. I recently gave a talk at a small conference relating various math mutation topics to Formal Verification, the engineering discipline where we try to verify correctness of microprocessor designs. A few parts might go over your head if you’re not an engineer, but most of the discussion relates to the math topics, so I think Math Mutation listeners will enjoy it. Here you go:
(listen to audio link above, or see video at https://youtu.be/igklvT2MplU .)
I hope you found that interesting! If you want to see a PDF of the slides with the illustrations, you can grab it at this link.
And this has been your math mutation for today.
Every course is taught by the best teachers and conducted in an engaging manner to keep students involved.
ReplyDeletePSLE tuition online
Great blog. Thanks for share this post. It may helpful for all newbie bloggers, i really appreciate
ReplyDeleteHouse Hold Shifting Service Packer & Mover in Gurgaon
House Hold Shifting Service Packer and Mover in Haryana