什么是程序逻辑？

程序逻辑是描述和论证程序行为的逻辑，又称霍尔逻辑。程序和逻辑有着本质的联系。如果把程序看成一个执行过程，程序逻辑的基本方法是先给出建立程序和逻辑间联系的形式化方法，然后建立程序逻辑系统，并在此系统中研究程序的各种性质。

简介：

Hoare 逻辑(也叫做Floyd–Hoare 逻辑)是英国计算机科学家C. A. R. Hoare开发的形式系统，随后为 Hoare 和其他研究者所精制。它发表于 Hoare 1969年的论文"计算机程序的公理基础"中。这个系统的用途是为了使用严格的数理逻辑推理计算机程序的正确性提供一组逻辑规则。

Hoare 认可 Robert Floyd的早期贡献，他为流程图提供了类似的系统。

Hoare 逻辑的中心特征是Hoare 三元组。这种三元组描述一段代码的执行如何改变计算的状态。Hoare 三元组有如下形式

{P}C{Q}这里的 P 和 Q 是断言而 C 是命令。P 叫做前条件而 Q 叫做后条件。断言是谓词逻辑的公式。这个三元组在直觉上读做: 只要 P 在 C 执行前的状态下成立，则在执行之后 Q 也成立。注意如果 C 不终止，也就没有"之后"了，所以 Q 在根本上可以是任何语句。实际上，你可以选择 Q 为假来表达 C 不终止。

这叫做"部分正确"的。如果 C 终止并且在终止时 Q 是真，则表达式就是"全部正确"的。终止必须被单独证明。

Hoare 逻辑为简单的命令式编程语言的所有构造提供了公理和推理规则。除了给 Hoare 论文中的简单语言的规则，其他语言构造的规则也已经被 Hoare 和很多其他研究者开发出来了。包括并发、过程、goto语句，和指针。

逻辑程序的设计思维对于一个程序来说是很重的知识，总结出下面的培养方法，希望能帮到你。

程序/\\/员逻辑思维的培养对软件工程非常重要，思维快的能快速编写逻辑代码。可以从一下几个方面进行慢慢培养。

第一：明确学习目的

逻辑思维学习编程对多数IT业人员来说都是非常有用的。学编程，做一名编程人员，从个人角度讲，可以解决在软件使用中所遇到的问题，改进现有软件，可以为自己找到一份理想的工作添加重要得砝码，有利于在求职道路上谋得一个好的职位；从国家的角度，可以为中国的软件产业做出应有的贡献，一名优秀的程序员永远是被争夺的对象。学习编程还能锻炼思维，使我们的逻辑思维更加/\\/严密；能够不断享受到创新的乐趣，将一直有机会走在高科技的前沿，因为程序设计本身是一种创造性的工作。知识经济时代给我们带来了无限的机会，要想真正掌握计算机技术，并在IT行业里干出一番事业来，有所作为，具有一定的编程能力是一个基本条件和要求。

第二打好基础，学好基/\\/础知识对我们开发也很重要学编程要具备一定的基础，总结之有以下几方面：

首先是数学基础 从/\\/计算机发展和应用的历史来看计算机的数学模型和体系结构等都是有数学家提出的，最早的计算机也是为数值计算而设计的。因此，要学好计算机就要有一定的数学基础，出学者有高中/\\/水平就差不多了。

其次是逻辑思维能力的培养 学程序设计要有一定的逻辑思维能力，“逻思力”的培养要长时间的实践锻炼。要想/\\/成为一名优秀的程序员，最重要的是掌握编程思想。要做到这一点必须在反复的实践、/\\/观察、分析、比较、总结中逐渐地积累。因此在学习编程过程中，我们不必等到什么/\\/都完全明白了才去动手实践，只要明白了大概，就要敢于自己动手去体验。谁都有第一次。有些问题只有通过实践后才能明白，也只有实践才能把老师和书上的知识变成自己的，高手都是这样成材的。最后是选择一种合适的入门语言 面对各种各样的语言，应按什么样的顺序学呢？程/\\/序设计工具不外乎如下几类： 1）本地开发 应用软件开发的工具有：Visual Basic 、Delphi 、VC++ ( C++ Builder ) 等；数据库开发工具有：Visual Foxpro 、Oracle Developer 、Power Builder 等。 2）跨平台开发 开发工具如 Java 等。 3）网络开发 对客户端开发工具如：Java Script 等；对服务器开发工具如：PHP 、ASP 、JSP 、ISAPI 、NSAPI 、CGI 等/\\/。 以上不同的环境下几种开发工具中 VB 法简单并容易理解，界面设计是可设化的，易学、易用。选 VB 作为入门的方向对出学者是较为适合的。

第三：注意理解一些重要概念

一本程序设/\\/计的书看到的无非就是变量、函数、条件语句、循环语句等概念，但要真正能进行编/\\/程应用，需要深入/\\/理解这些概念，在理解的基础上应用，不要只简单地学习语法、结构，而要/\\/吃透针对这些语法、结构的应用例子，做到举一反三，触类旁通。

第四：掌/\\/握编程思/\\/想，编程思想使用较多的就是oop编程思想

学习一门语言或开发工具，语法结构、功能调用是次要的，最主要是学习它的思想。例如学习 VC 就要学习 Windows 的内在机理、什么是线程......；学习 COM 就要知道VTALBE 、类厂、接口、idl......，关键是学一种思想，有了思想，那么我们就可以触类旁通。

第六：多实践/\\/、多交流，一切思维来自项目开发的积累

掌握编程思想必须在编程/\\/实际工作中去实践和体会。编程起步阶段要经常自己动手设计程序，具体设计时/\\/不要拘泥于固定的思维方式，遇到问题要多想几种解决的方案。这就要多交流，各人的思/\\/维方式不同、角度各异，各有高招，通过交流可不断吸收别人的长处，丰富编程实践，帮助自己提高水平。亲自动手进行程序设计是创造性思维应用的体现，也是培养逻辑思维的好方法。

第七：养成良好的编程习惯

编程入门不/\\/难，但入门后不/\\/断学习是十分重要的，相对来说较为漫长。在此期间要注意养成一些良好的编程习惯。编程风格的好坏很/\\/大程度影响程序质量。良好的编程风格可以使

程序结构清晰合/\\/理，且使程序代码便于维护。如代码的缩进编排、变量命令规则的一致性、代码的注释等。

第八：上网/\\/学编程

在网上可以学到很/\\/多不同的编程思想、方法、经验和技巧，有大量的工具和作品及相关的辅导材料供下载

8.加强计/\\/算机理论知识的再学习

思维培养学编程是符合/\\/“理论→实践→再理论→再实践”的一个认识过程。一开始要具有一定的计算机理论基础知识，包括编程所需的数学基础知识，具备了入门的条件，就可以

开始编程的/\\/实践，从实践中/\\/可以发现问题需要加强计算机理论知识的再学习。程序人人皆可编，但当你/\\/发现编到一定程度/\\/很难再提高的时候，就要回头来学习一些计算机科学和数/\\/学基础理论。学过之后，很多以前遇到的问题都会迎刃而解，使人有豁然开朗之感。因此在学习编程的过程中要不断地针对/\\/应用中的困惑和问题深入学习数据结构、算法、计算机

原理、编译原理、 *** 作系统原理、软件工程等计算机科学的理论基础和数理逻辑、代数系统、图论、离散数学等数学理论基础知识。这样经过不断的学习，再努力地实践，编程水平一定会不断提高到一个新高度。

这就是总结出来的思维培养模式，希望能帮到你，谢谢！

---