简答题 分析一种理论体系存在的合理性及其意义，一般采用什么方法。而构造一种理论体系常用什么方法。

给出“理论”的形式化定义。

问答题给出“理论”的形式化定义。

在本书有关递归概念的定义中，为什么要对调用自身中的“自身”两个字加引号？

问答题在本书有关递归概念的定义中，为什么要对调用自身中的“自身”两个字加引号？

什么是递归和迭代？二者有何联系？

问答题什么是递归和迭代？二者有何联系？