是一种集逻辑等一起的计算规律，分为隐式和显式两类'。上下文计算是从已知到未知的方法，包括计算，推理，设计等，有无限计算和有限计算两类。并且有认识的无限的发展余地。数学计算有模型方法（题型），有归纳演绎反证方法，有推理有公理法，有计算符号，有定义和定理。根据数学机械化原理，一般认为数学有机械化方法，个人认为是数学求解方法的映射，建立从已知到求证的映射线路。映射本身没有智能，但是求解新的类型是智能（所以人工智能的一部分可以用人工辅助智能表示似乎更确切），所以对未知类型问题（或者不能判断类型的问题，这可以构造新的自动机来证明）的求解可以用到上下文计算。在智能计算中用到进化与繁殖的概念，不仅包括自然界的智能（实际就是优势的模拟），更包括人类的智能，这似乎与线性方法与非线性方法的区别类似。因此计算（问题求解）可简单分成：数学机械化方法，上下文计算与智能计算三部分。