描绘或测定由给定的或确定的输入数据产生欲求的输出或智能信息所要求的特定步骤。通常人们都采用这种逻辑分析的方法来验证许多计算机过程、程序或运行的正确性。 The delineation or determination of the specific steps required to produce the desired output or intelligence information from the given or ascertained input data. The logic studies are completed for many computer processes, programs, or runs.
计算出的通过数学计算来确定的 Determined by mathematical calculation.
有信心的，显示信心的；确定的 Having or showing confidence; assured.
