基本知识 计算 抽象地说,计算就是从一个符号序列y得出另 个符号序列n(从y出发,在有限步内真正求出m) y:12+3,:15 ∥该计算是加法 y:x×x,们:2x ∥该计算是微分 y:英文句子,:含意相同的中文句子翻译 y:一组公理和推理规则,7:一个定理/定理证明 下面的是完全定义的函数,但函数值求不出来 1若在z的十进制表示中有连续x个5 f(r) 0其他情况基 本 知 识 • 计算 抽象地说，计算就是从一个符号序列 得出另一 个符号序列（从 出发，在有限步内真正求出） –  : 12+3,  : 15 //该计算是加法 –  : x  x,  : 2x //该计算是微分 –  : 英文句子,  : 含意相同的中文句子 //翻译 –  : 一组公理和推理规则,  : 一个定理 //定理证明 下面的f是完全定义的函数，但函数值求不出来 1 若在 的十进制表示中有连续x个5 f(x) = 0 其他情况 4