全部 标题 作者 关键词 摘要
Keywords: 程序设计,法则
Full-Text Cite this paper Add to My Lib
域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情,P也能做,而Q不能做的事情,P也可能不能做。因此,无论从那一点来看,Q是一个比P更能预测、更能控制的程序。在P可靠地用于有用目的
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133