mochounv的专栏

将一段imp程序转Kripke structure(KS)。这是系统分析与验证一门课的作业，需要将一段imp程序转为一阶逻辑公式，再由一阶逻辑公式转为 Kripke structure(KS)。并且老师要求是不能使用python.因为github上有python和t实现了完整的过程。https://github.com/lypnol/impy其实也有一个rust 版本https://gitlab.com/davirain.yin/imp-interpeter关于阶逻辑公式和Kripke

加密和解密都是数学函数。对此并没有很多了解。只为一解答一道作业题目来了解这两个函数以及将函数转为代码。先从百度基本了解一下这个加密函数只靠通识的数学知识，理解是有难度首先是计算优先级的疑惑，通过查资料确认是先计算前面的加法运算，然后再模，所以从非专业人士来说以下的通式形式会更好理解。这个式子对于代码来说应该是不难了，但是我要解的题目是类似这样的那么怎么将字母作为可计算的值代入式子呢。参考这个文章https://www.cnblogs.com/Mayfly-n.

本文转自，比较简洁地讲明了模的各种概念，尤其是逆元https://blog.csdn.net/paradox_1_0/article/details/89926847?utm_medium=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-2.edu_weight&depth_1-utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFrom

参考：九大算法算法导论归纳：http://blog.csdn.net/xiazdong/article/details/8462393比较总结http://www.360doc.com/content/13/0921/16/9615799_316009153.shtml分析和代码参考http://www.codeceo.com/article/sort-csharp.html（白话经典分析）分析：http://blog.csdn.net/MoreWindows/article/categor

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码 http://download.csdn.net/detail/moc

其实在实际工作中，需要自己写代码去实现的一些典型的算法已经很少，但是面试时却有很多人喜欢拿这些出来测试。因为平时用得少，一下子很难写出来，就算这次写出来，下次也会忘记。可能因为人的思维更容易记住的是图形和文字，程序是写给计算机读的。其实关键是记住推导的思想过程，每次需要时，把这个过程再演绎一下才是最好的方法。在这一个系列的文章中，本人参考和学习网上一些牛人写的文章，再上自己的推导，将几 个常用的排序算法演绎一遍，并用c#实现，源代码http://download.csdn.net/detail/moch