摘要：
这篇总结写得相当棒，这是原文链接：https://blog.csdn.net/bit_kaki/article/details/80067462 前言： 读完最后的感觉仿佛自己打通了任督二脉，很多以前工作上的问题一下子茅塞顿开。 一个系统从零到一，以前知道大概怎么做，现在总算明白一些为什么这么做以及 阅读全文
摘要：
定义 软件形式化方法是指建立在严格数学基础上的软件开发方法。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结 阅读全文