檢視算法分析与设计的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://www.kfzimg.com/G06/M00/01/42/p4YBAFsYBnWAMPh4AACYgAu6NCU958_s.jpg width="250"></center>
<small>[https://search.kongfz.com/product_result/?key=%E7%AE%97%E6%B3%95%E5%88%86%E6%9E%90%E4%B8%8E%E8%AE%BE%E8%AE%A1&status=0&_stpmt=eyJzZWFyY2hfdHlwZSI6ImFjdGl2ZSJ9 来自 孔夫子旧书网 的图片]</small>
|}

《'''算法分析与设计'''》是计算机科学一个名词术语。

汉字作为一种形、音、义三位一体的[[符号]]系统<ref>[https://www.sohu.com/a/210549791_680258 汉字——中华文化的独特符号]，搜狐，2017-12-14</ref>，源于日月鸟兽之形，作为中华文明之标志<ref>[https://www.sohu.com/a/437797930_120142689 汉字——中华文明的基因]，搜狐，2020-12-12</ref>，连接中华[[民族]]的历史、现在和未来，方正之间充满美感。

==名词解释==

1.算法名词解释：是将转入转换成输出的计算步骤所组成的序列或描述输入输出关系的特定计算过程。
2.算法正确性名词解释：对每一个输入实例算法都能终止，并给出正确输出。
算法正确性有两个要素；1是能够终止。2是结果正确。
算法设计和分析的步骤可概括:
（1）[[问题]]的陈述（2）模型的选择（3）算法的设计（4）算法的[[程序]]实现（5）算法分析。
算法具有以下五大特性
（1）确定性（2）有穷性（3）可行性（4）输入（5）输出。
循环不变式具有以下三个性质名词解释： 初始名词解释：在循环的第一次迭代之前，循环不变式为真。 维持名词解释：如果在循环的某次迭代之前循环不变式为真，那么在下一次迭代之前，循环不变式仍然为真。 终止名词解释：当循环终止时，循环不变式给出有用性质，这个性质可以用于证明算法的正确性

==参考文献==
[[Category:800 語言學總論]]