修建性详细规划是以（）为依据。

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

A．分析命题证明的思路．

B．表述命题证明的步骤．

C．揭示命题证明中的数学思想方法．

D．要多运用数学概念进行证明．

A．数学命题引人的设计

B．复习设计

C．数学命题分析设计

D．数学命题的证明

A．存在一个计算机程序，能够自动判定任何一个数学命题是否成立

B．存在一个形式推理系统，能够得到所有成立的数学命题

C．存在数学定理，可以应用自动定理证明器进行自动证明

D．（无）

A．数学归纳法是一种完全归纳法

B．数学归纳法是通过有限的步骤，证明无限命题的方法

C．数学归纳法是联系“有限”和“无限”的直观和有效的方法

D．数学归纳法是证明与自然数n有关的所有数学命题的方法

A．命题获得

B．命题证明

C．命题学习

D．命题应用

A．命题习得

B．命题获得

C．命题证明

D．命题应用

A．核实命题

B．理解命题

C．发现命题

D．计算命题