递归 C)函数 编程 代数转换法 唯一性 TABR 子程序 四阶抛物方程 数据库 DELETE 方法 存在性 标准形式 函数 伪抛物型方程 弱解 逻辑函数